Fraca, Estibaliz, Jorge Júlvez, and Manuel Silva. 2014. “Computation of the Reachability Graph of Untimed Hybrid Petri Nets”. Jornada De Jóvenes Investigadores Del I3A 1 (January): 27-28. https://doi.org/10.26754/jji-i3a.201401739.