ALIMONTI, P.; FEUERSTEIN, E.; LAURA, L.; NANNI, U. Linear Time Analysis of Properties of Conflict-Free and General Petri nets. Department of Computer and System Sciences Antonio Ruberti Technical Reports, [S. l.], v. 2, n. 9, p. 24, 2010. Disponível em: https://rosa.uniroma1.it/rosa00/index.php/dis_technical_reports/article/view/8890. Acesso em: 5 may. 2024.