E. Fraca, J. Júlvez, y M. Silva, «Computation of the Reachability Graph of untimed Hybrid Petri nets», Jorn. jovenes investig. I3A, vol. 1, pp. 27–28, ene. 2014.