Pezze, M., and S. M. Shatz. “Software Engineering and Petri Nets”. DAIMI Report Series, vol. 29, no. 548, June 2000, doi:10.7146/dpb.v29i548.7196.