Ángel Restrepo PL. Un método computacional para la detección y caracterización de conflictos en redes de Petri. rev.ing.univ.Medellin [Internet]. 1 [cited 2024May4];10(19):189-00. Available from: https://revistas.udem.edu.co/index.php/ingenierias/article/view/509