Applying petri nets to requirements validation (2004)
- Authors:
- Autor USP: SILVA, JOSE REINALDO - EP
- Unidade: EP
- Subjects: REDES DE PETRI; MECATRÔNICA (SISTEMAS)
- Language: Inglês
- Imprenta:
- Source:
- Título: INCOM'04
- Conference titles: IFAC Symposium on Information Control Problems in Manufacturing
-
ABNT
SILVA, José Reinaldo e SANTOS, Eston Almança dos. Applying petri nets to requirements validation. 2004, Anais.. Salvador: IFAC, 2004. Disponível em: https://repositorio.usp.br/directbitstream/aa77fc0d-608c-407f-92eb-3acff3cd89a0/Silva_JR-2004-Applying%20petri%20nets%20to%20requirements%20validation.%20Area%209.pdf. Acesso em: 12 out. 2024. -
APA
Silva, J. R., & Santos, E. A. dos. (2004). Applying petri nets to requirements validation. In INCOM'04. Salvador: IFAC. Recuperado de https://repositorio.usp.br/directbitstream/aa77fc0d-608c-407f-92eb-3acff3cd89a0/Silva_JR-2004-Applying%20petri%20nets%20to%20requirements%20validation.%20Area%209.pdf -
NLM
Silva JR, Santos EA dos. Applying petri nets to requirements validation [Internet]. INCOM'04. 2004 ;[citado 2024 out. 12 ] Available from: https://repositorio.usp.br/directbitstream/aa77fc0d-608c-407f-92eb-3acff3cd89a0/Silva_JR-2004-Applying%20petri%20nets%20to%20requirements%20validation.%20Area%209.pdf -
Vancouver
Silva JR, Santos EA dos. Applying petri nets to requirements validation [Internet]. INCOM'04. 2004 ;[citado 2024 out. 12 ] Available from: https://repositorio.usp.br/directbitstream/aa77fc0d-608c-407f-92eb-3acff3cd89a0/Silva_JR-2004-Applying%20petri%20nets%20to%20requirements%20validation.%20Area%209.pdf - SmartLVGrid platform—convergence of legacy low-voltage circuits toward the smart grid paradigm
- Análise e modelagem de sistemas a eventos discretos. Cálculo da distância sincrona e estudo do problema de atingibilidade em redes de petri c / e, p / t e extendidas
- Programação em prolog aplicada a casos de planning em robotica
- Sistema supervisório descentralizado baseado em íntegrons. (também em CD-Rom)
- Equações de estado para mark flow graphs
- Towards a unified view of Petri nets and object oriented modeling
- Sistemas de informação: estudo de caso no fluxo de materiais para a fabricação de blanks
- Especificando requisitos de sistemas com redes de Petri
- Integrated tools environment for modeling and analysis of automated planning systems
- Management and collecting data in the informed manufacturing
Download do texto completo
Tipo | Nome | Link | |
---|---|---|---|
Silva_JR-2004-Applying pe... |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas