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. https://doi.org/10.26754/jji-i3a.201401739.