Fraca, E., Júlvez, J. and Silva, M. (2014) “Computation of the Reachability Graph of untimed Hybrid Petri nets”, Jornada de Jóvenes Investigadores del I3A, 1, pp. 27–28. doi:10.26754/jji-i3a.201401739.