Alimonti, Paola, Esteban Feuerstein, Luigi Laura, and Umberto Nanni. “Linear Time Analysis of Properties of Conflict-Free and General Petri Nets”. Department of Computer and System Sciences Antonio Ruberti Technical Reports 2, no. 9 (July 8, 2010): 24. Accessed May 5, 2024. https://rosa.uniroma1.it/rosa00/index.php/dis_technical_reports/article/view/8890.