Fraca, E., Júlvez, J., & Silva, M. (2014). Computation of the Reachability Graph of untimed Hybrid Petri nets. Jornada De Jóvenes Investigadores Del I3A, 1, 27-28. https://doi.org/10.26754/jji-i3a.201401739