Fraca, Estibaliz, Jorge Júlvez, y Manuel Silva. «Computation of the Reachability Graph of Untimed Hybrid Petri Nets». Jornada de Jóvenes Investigadores del I3A 1 (enero 1, 2014): 27–28. Accedido noviembre 21, 2024. https://papiro.unizar.es/ojs/index.php/jji3a/article/view/1739.