Fraca, Estibaliz, et al. “Computation of the Reachability Graph of Untimed Hybrid Petri Nets”. Jornada De Jóvenes Investigadores Del I3A, vol. 1, Jan. 2014, pp. 27-28, https://doi.org/10.26754/jji-i3a.201401739.