Á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. Retrieved from https://revistas.udem.edu.co/index.php/ingenierias/article/view/509