Villani, Emília 
; Pascal, J. C.; Miyagi, Paulo Eigi ; Valette, Robert
Fonte: ADHS 03 : pre-prints.. Nome do evento: IFAC Conference on Analysis and Design of Hybrid Systems. Unidade: EP
Assuntos: REDES DE PETRI, PROGRAMAÇÃO ORIENTADA A OBJETOS, EQUAÇÕES DIFERENCIAIS, MODELOS MATEMÁTICOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
VILLANI, Emília et al. Differential predicate transition petri nets and objects, an aid for proving properties in hybrid systems. 2003, Anais.. Saint-Malo: IFAC, 2003. Disponível em: https://repositorio.usp.br/directbitstream/6bc210fa-e9b6-4b89-921d-6b872989f79c/Miyagi-2003-differential%20predicate%20transition%20petri%20nets-ADHS.pdf. Acesso em: 09 nov. 2025.APA
Villani, E., Pascal, J. C., Miyagi, P. E., & Valette, R. (2003). Differential predicate transition petri nets and objects, an aid for proving properties in hybrid systems. In ADHS 03 : pre-prints.. Saint-Malo: IFAC. Recuperado de https://repositorio.usp.br/directbitstream/6bc210fa-e9b6-4b89-921d-6b872989f79c/Miyagi-2003-differential%20predicate%20transition%20petri%20nets-ADHS.pdfNLM
Villani E, Pascal JC, Miyagi PE, Valette R. Differential predicate transition petri nets and objects, an aid for proving properties in hybrid systems [Internet]. ADHS 03 : pre-prints. 2003 ;[citado 2025 nov. 09 ] Available from: https://repositorio.usp.br/directbitstream/6bc210fa-e9b6-4b89-921d-6b872989f79c/Miyagi-2003-differential%20predicate%20transition%20petri%20nets-ADHS.pdfVancouver
Villani E, Pascal JC, Miyagi PE, Valette R. Differential predicate transition petri nets and objects, an aid for proving properties in hybrid systems [Internet]. ADHS 03 : pre-prints. 2003 ;[citado 2025 nov. 09 ] Available from: https://repositorio.usp.br/directbitstream/6bc210fa-e9b6-4b89-921d-6b872989f79c/Miyagi-2003-differential%20predicate%20transition%20petri%20nets-ADHS.pdf
