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: 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: 22 jan. 2026. -
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 2026 jan. 22 ] 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 2026 jan. 22 ] Available from: http://www.abcm.org.br/symposiumSeries/SSM_Vol1/Section_IV_Discrete_Event_Dynamic_Systems/SSM_IV_01.pdf - Globalização promete vagas. [Depoimento]
- Process oriented design service: case study for automated information systems
- Informatics system for supervision and control of processes with mobile devices
- Inteligência HCR para automação de serviços em smart grids de baixa tensão
- Análise de invariantes na rede de Petri Ghenesys
- Realimentação da informação na manufatura informada
- Towards a unified view of petri nets and object oriented modeling
- Management and collecting data in the informed manufacturing
- 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
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
