Fraca E, Júlvez J, Silva M. Computation of the Reachability Graph of untimed Hybrid Petri nets. Jorn. jovenes investig. I3A [Internet]. 2014 Jan. 1 [cited 2025 Sep. 9];1:27-8. Available from: https://despapiro.unizar.es/ojs/index.php/jji3a/article/view/1739