Ángel Restrepo PL. Un método computacional para la detección y caracterización de conflictos en redes de Petri. rev.ing.univ.Medellin [Internet]. 18 de julio de 2014 [citado 13 de junio de 2026];10(19):189-200. Disponible en: https://revistas.udem.edu.co/index.php/ingenierias/article/view/509