A Semantics-Preserving Reduction of Code-Annotated Well-formed Free Choice Petri Nets

N. Savoiu, S. Shukla, and R. Gupta, "A Semantics-Preserving Reduction of Code-Annotated Well-formed Free Choice Petri Nets," TR 04-07, February 12, 2004. download pdf