Alimonti, Paola, Esteban Feuerstein, Luigi Laura, and Umberto Nanni. 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. https://rosa.uniroma1.it/rosa00/index.php/dis_technical_reports/article/view/8890.