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: 13 maio 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 maio 13 ] 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 maio 13 ] Available from: https://repositorio.usp.br/directbitstream/6bc210fa-e9b6-4b89-921d-6b872989f79c/Miyagi-2003-differential%20predicate%20transition%20petri%20nets-ADHS.pdf - Controle de sistemas de eventos discretos: aplicação em automação industrial
- Aplicação de redes na modelagem de sistemas de elevadores em edifícios inteligentes
- Metodologia para modelagem de sistemas de ar condicionado em edifícios inteligentes
- Mark flow graph (mfg) para modelamento e controle de sistemas de eventos discretos
- Interface de comunicacao com robo abb
- A Programming language for discrete event production systems based on production flow schema and mark flow graph
- Processamento de dados / sinais na instrumentação cientifica
- Ferramenta para analise de controladores para sistemas de eventos discretos
- Exemplo da aplicacao do mfg / pfs no controle de elevadores
- Redes de Petri e orientação a objetos para o desenvolvimento de sistemas hídricos
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