Un método computacional para la detección y caracterización de conflictos en redes de Petri = A computational method for detection and characterization of conflicts on Petri nets - Ángel Restrepo, Pedro Luis