Ángel Restrepo, P. L. Un método Computacional Para La detección Y caracterización De Conflictos En Redes De Petri. rev.ing.univ.Medellin 1, 10, 189-200.