Alimonti P, Feuerstein E, Laura L, Nanni U. Linear Time Analysis of Properties of Conflict-Free and General Petri nets. DIS Technical Reports [Internet]. 2010 Jul. 8 [cited 2024 May 5];2(9):24. Available from: https://rosa.uniroma1.it/rosa00/index.php/dis_technical_reports/article/view/8890