Fraca, E., J. Júlvez, y M. Silva. «Computation of the Reachability Graph of Untimed Hybrid Petri Nets». Jornada De Jóvenes Investigadores Del I3A, vol. 1, enero de 2014, pp. 27-28, doi:10.26754/jji-i3a.201401739.