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