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 do periódico: 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: 24 abr. 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 abr. 24 ] 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 abr. 24 ] Available from: https://repositorio.usp.br/directbitstream/aa77fc0d-608c-407f-92eb-3acff3cd89a0/Silva_JR-2004-Applying%20petri%20nets%20to%20requirements%20validation.%20Area%209.pdf - A estruturação do problema de planejamento em uma abordagem baseada em IA e no formalismo das redes de Petri
- Uma formalização do processo de design baseado em metáforas: sua aplicação na automatização de sistemas de eventos discretos
- Towards a modeling discipline for building an residence automation
- Specification and analysis for automated flexible manufacturing
- Scheduling real-time systems with periodic tasks using a model-checking approach
- Manufacturing as service: the challenge of intelligent manufacturing
- Interactive design of integrated systems
- Reading PDDL, writing an object-oriented model
- itSIMPLE: towards an integrated design system for real planning applications
- Object-oriented approach to the design of flexible manufacturing systems
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