P. L. Ángel Restrepo, “Un método computacional para la detección y caracterización de conflictos en redes de Petri”, rev.ing.univ.Medellin, vol. 10, no. 19, pp. 189–200, Jul. 2014, Accessed: Apr. 17, 2026. [Online]. Available: https://revistas.udem.edu.co/index.php/ingenierias/article/view/509