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