Alimonti, P., Feuerstein, E., Laura, L., & 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), 24. Retrieved from https://rosa.uniroma1.it/rosa00/index.php/dis_technical_reports/article/view/8890