Differential predicate transition petri nets and objects, an aid for proving properties in hybrid systems (2003)
- Authors:
- Autor USP: MIYAGI, PAULO EIGI - EP
- Unidade: EP
- Subjects: REDES DE PETRI; PROGRAMAÇÃO ORIENTADA A OBJETOS; EQUAÇÕES DIFERENCIAIS; MODELOS MATEMÁTICOS
- Language: Inglês
- Imprenta:
- Publisher: IFAC
- Publisher place: Saint-Malo
- Date published: 2003
- Source:
- Título do periódico: ADHS 03 : pre-prints.
- Conference titles: IFAC Conference on Analysis and Design of Hybrid Systems
-
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: 19 set. 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.pdf -
NLM
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 set. 19 ] Available from: https://repositorio.usp.br/directbitstream/6bc210fa-e9b6-4b89-921d-6b872989f79c/Miyagi-2003-differential%20predicate%20transition%20petri%20nets-ADHS.pdf -
Vancouver
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 set. 19 ] Available from: https://repositorio.usp.br/directbitstream/6bc210fa-e9b6-4b89-921d-6b872989f79c/Miyagi-2003-differential%20predicate%20transition%20petri%20nets-ADHS.pdf - Robotica e automacao: projeto sigma
- Modelagem e analise quantitativa de sistemas de manufatura por redes gspn
- Aplicacao de redes de petri auto-modificaveis em sistemas de manufatura
- Desenvolvimento de modelos e estratégias de controle de um sistema viário
- Influencia reversa Fuzzy para classificação de novas peças em famílias pré estabelecidas
- Application of the Mark flow graph to represent and control discrete production systems
- Current structure of programs in integration and industrial informatics in Brazil
- Editor e simulador de sistemas a eventos discretos baseados em redes de Petri. (também em CD-Rom)
- Application on MFG/PFS methodology in the development of FMS and FAS
- On modeling of complex resource sharing system based on corresponce of resource to production flow scheme
Download do texto completo
Tipo | Nome | Link | |
---|---|---|---|
Miyagi-2003-differential ... |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas