M. Pezze and S. M. Shatz, “Software Engineering and Petri Nets”, DPB, vol. 29, no. 548, Jun. 2000.