P. L. Ángel Restrepo, “Un método computacional para la detección y caracterización de conflictos en redes de Petri”, rev.ing.univ.Medellin, vol. 10, no. 19, pp. 189-200, 1.