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