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 April 8, 2025. https://papiro.unizar.es/ojs/index.php/jji3a/article/view/1739.