Fraca E, Júlvez J, Silva M. Computation of the Reachability Graph of untimed Hybrid Petri nets. Jorn. jovenes investig. I3A [Internet]. 1 de enero de 2014 [citado 6 de mayo de 2024];1:27-8. Disponible en: https://papiro.unizar.es/ojs/index.php/jji3a/article/view/1739