Applying Petri nets to requirements validation (2003)
- Authors:
- Autor USP: SILVA, JOSE REINALDO - EP
- Unidade: EP
- Subjects: MECATRÔNICA; REDES DE PETRI
- Language: Inglês
- Imprenta:
- Source:
- Título: COBEM 2003: proceedings
- Conference titles: 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. Disponível em: https://repositorio.usp.br/directbitstream/78787caa-c621-4ac6-917b-2ee5c501d81e/Silva_JR-2003-APPLYING%20PETRI%20NETS%20TO%20REQUIREMENTS%20VALIDATION.pdf. Acesso em: 01 abr. 2026. -
APA
Silva, J. R., & Santos, E. A. dos. (2003). Applying Petri nets to requirements validation. In COBEM 2003: proceedings. São Paulo: ABCM. Recuperado de https://repositorio.usp.br/directbitstream/78787caa-c621-4ac6-917b-2ee5c501d81e/Silva_JR-2003-APPLYING%20PETRI%20NETS%20TO%20REQUIREMENTS%20VALIDATION.pdf -
NLM
Silva JR, Santos EA dos. Applying Petri nets to requirements validation [Internet]. COBEM 2003: proceedings. 2003 ;[citado 2026 abr. 01 ] Available from: https://repositorio.usp.br/directbitstream/78787caa-c621-4ac6-917b-2ee5c501d81e/Silva_JR-2003-APPLYING%20PETRI%20NETS%20TO%20REQUIREMENTS%20VALIDATION.pdf -
Vancouver
Silva JR, Santos EA dos. Applying Petri nets to requirements validation [Internet]. COBEM 2003: proceedings. 2003 ;[citado 2026 abr. 01 ] Available from: https://repositorio.usp.br/directbitstream/78787caa-c621-4ac6-917b-2ee5c501d81e/Silva_JR-2003-APPLYING%20PETRI%20NETS%20TO%20REQUIREMENTS%20VALIDATION.pdf - Análise da propriedade distância síncrona na rede GHENeSYS
- Análise de invariantes na rede de Petri Ghenesys
- Toward a multi-agent manager to a set of agv's
- A estruturação do problema de planejamento em uma abordagem baseada em IA e no formalismo das redes de Petri
- Mercado aberto para automação e informática industrial
- Modelagem de sistemas de informação para empresas virtuais
- Sistema supervisório descentralizado baseado em íntegrons. (também em CD-Rom)
- Specification and analysis for automated flexible manufacturing
- Towards a unified view of petri nets and object oriented modeling
- Applying petri nets to requirements validation
Download do texto completo
| Tipo | Nome | Link | |
|---|---|---|---|
 |
Silva_JR-2003-APPLYING PE... |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
