ÁNGEL RESTREPO, P. L. Un método computacional para la detección y caracterización de conflictos en redes de Petri. Revista Ingenierías Universidad de Medellín, v. 10, n. 19, p. 189-200, 11.