Alimonti, P., Feuerstein, E., Laura, L. and Nanni, U. (2010) “Linear Time Analysis of Properties of Conflict-Free and General Petri nets”, Department of Computer and System Sciences Antonio Ruberti Technical Reports, 2(9), p. 24. Available at: https://rosa.uniroma1.it/rosa00/index.php/dis_technical_reports/article/view/8890 (Accessed: 4 May 2024).