Fraca E, Júlvez J, Silva M. Computation of the Reachability Graph of untimed Hybrid Petri nets. Jorn. jovenes investig. I3A. 2014;1:27-28. doi:10.26754/jji-i3a.201401739