FRACA, E.; JÚLVEZ, J.; SILVA, M. 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: 6 may. 2024.