Pezze, Mauro, og Sol M. Shatz. “Software Engineering and Petri Nets”. DAIMI Report Series, bd. 29, nr. 548, juni 2000, doi:10.7146/dpb.v29i548.7196.