View of Un método computacional para la detección y caracterización de conflictos en redes de Petri | Revista Ingenierías Universidad de Medellín