Á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]. 2014 Jul. 18 [cited 2025 Apr. 2];10(19):189-200. Available from: https://revistas.udem.edu.co/index.php/ingenierias/article/view/509