Á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 (Jul. 2014), 189–200.