This is a pdf file containing the state transition rules for a provenance service using the provenance recording protocol, PReP.
For more information contact Paul Groth (pg03r at ecs dot soton dot ac dot uk)