Ángel Restrepo, P. L. (1). 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