Á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 (1), 189-200.