Pezze, M.; Shatz, S. M. Software Engineering and Petri Nets. DPB 2000, 29.