Ángel Restrepo, P. L. (2014). Un método computacional para la detección y caracterización de conflictos en redes de Petri. Revista Ingenierías Universidad De Medellín, 10(19), 189-200. https://revistas.udem.edu.co/index.php/ingenierias/article/view/509