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