Pezze, Mauro, and Sol M. Shatz. “Software Engineering and Petri Nets”. DAIMI Report Series 29, no. 548 (June 30, 2000). Accessed May 5, 2024. https://tidsskrift.dk/daimipb/article/view/7196.