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:
- Publisher: ABCM
- Publisher place: Rio de Janeiro
- Date published: 2004
- ISBN: 85-857699-20-3
- Source:
- Título do periódico: Mechatronics
-
ABNT
SILVA, José Reinaldo e SANTOS, Eston Almança dos. Applying Petri nets to requirements validation. Mechatronics. Tradução . Rio de Janeiro: ABCM, 2004. . Disponível em: http://www.abcm.org.br/symposiumSeries/SSM_Vol1/Section_IV_Discrete_Event_Dynamic_Systems/SSM_IV_01.pdf. Acesso em: 25 abr. 2024. -
APA
Silva, J. R., & Santos, E. A. dos. (2004). Applying Petri nets to requirements validation. In Mechatronics. Rio de Janeiro: ABCM. Recuperado de http://www.abcm.org.br/symposiumSeries/SSM_Vol1/Section_IV_Discrete_Event_Dynamic_Systems/SSM_IV_01.pdf -
NLM
Silva JR, Santos EA dos. Applying Petri nets to requirements validation [Internet]. In: Mechatronics. Rio de Janeiro: ABCM; 2004. [citado 2024 abr. 25 ] Available from: http://www.abcm.org.br/symposiumSeries/SSM_Vol1/Section_IV_Discrete_Event_Dynamic_Systems/SSM_IV_01.pdf -
Vancouver
Silva JR, Santos EA dos. Applying Petri nets to requirements validation [Internet]. In: Mechatronics. Rio de Janeiro: ABCM; 2004. [citado 2024 abr. 25 ] Available from: http://www.abcm.org.br/symposiumSeries/SSM_Vol1/Section_IV_Discrete_Event_Dynamic_Systems/SSM_IV_01.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
- Interactive design of integrated systems
- Reading PDDL, writing an object-oriented model
- itSIMPLE: towards an integrated design system for real planning applications
- Aplicação de redes de Pétri a um problema de planejamento
- Automação e ciência de serviço aplicado a smart grid
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