Fraca, Estibaliz, Jorge Júlvez, and Manuel Silva. “Computation of the Reachability Graph of Untimed Hybrid Petri Nets”. Jornada de Jóvenes Investigadores del I3A 1 (January 1, 2014): 27–28. Accessed September 9, 2025. https://despapiro.unizar.es/ojs/index.php/jji3a/article/view/1739.