FRACA, Estibaliz; JÚLVEZ, Jorge; SILVA, Manuel. Computation of the Reachability Graph of untimed Hybrid Petri nets. Jornada de Jóvenes Investigadores del I3A, [S. l.], v. 1, p. 27–28, 2014. DOI: 10.26754/jji-i3a.201401739. Disponível em: https://papiro.unizar.es/ojs/index.php/jji3a/article/view/1739. Acesso em: 15 apr. 2025.