Source: ADHS 03 : pre-prints.. Conference titles: IFAC Conference on Analysis and Design of Hybrid Systems. Unidade: EP
Subjects: REDES DE PETRI, PROGRAMAÇÃO ORIENTADA A OBJETOS, EQUAÇÕES DIFERENCIAIS, MODELOS MATEMÁTICOS
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: 06 ago. 2024.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 2024 ago. 06 ] 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 2024 ago. 06 ] Available from: https://repositorio.usp.br/directbitstream/6bc210fa-e9b6-4b89-921d-6b872989f79c/Miyagi-2003-differential%20predicate%20transition%20petri%20nets-ADHS.pdf