Applying Petri nets to requirements validation (2003)
- Authors:
- USP affiliated author: SILVA, JOSE REINALDO - EP
- School: EP
- Subjects: MECATRÔNICA; REDES DE PETRI
- Language: Inglês
- Imprenta:
- Source:
- Título do periódico: COBEM 2003: proceedings
- Conference title: International Congress of Mechanical Engineering
-
ABNT
SILVA, José Reinaldo e SANTOS, Eston Almança dos. Applying Petri nets to requirements validation. 2003, Anais.. São Paulo: ABCM, 2003. . Acesso em: 25 jun. 2022. -
APA
Silva, J. R., & Santos, E. A. dos. (2003). Applying Petri nets to requirements validation. In COBEM 2003: proceedings. São Paulo: ABCM. -
NLM
Silva JR, Santos EA dos. Applying Petri nets to requirements validation. COBEM 2003: proceedings. 2003 ;[citado 2022 jun. 25 ] -
Vancouver
Silva JR, Santos EA dos. Applying Petri nets to requirements validation. COBEM 2003: proceedings. 2003 ;[citado 2022 jun. 25 ] - Towards a unified view of Petri nets and object oriented modeling
- Management and collecting data in the informed manufacturing
- Integrated tools environment for modeling and analysis of automated planning systems
- Process oriented design service: case study for automated information systems
- SmartLVGrid platform—convergence of legacy low-voltage circuits toward the smart grid paradigm
- Sistemas de informação: estudo de caso no fluxo de materiais para a fabricação de blanks
- Equações de estado para mark flow graphs
- Programação em prolog aplicada a casos de planning em robotica
- 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
- Sistema supervisório descentralizado baseado em íntegrons. (também em CD-Rom)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
