Applying Petri nets to requirements validation (2004)
- Authors:
- USP affiliated authors: SILVA, JOSÉ REINALDO - EP ; SANTOS, ESTON ALMANÇA DOS - EP
- Unidade: EP
- DOI: 10.1016/S1474-6670(17)36190-6
- Subjects: MECATRÔNICA; SISTEMAS DE INFORMAÇÃO; REDES DE PETRI; DINÂMICA
- Language: Inglês
- Imprenta:
- Source:
- Título: IFAC-PapersOnLine
- ISSN: 2405-8963
- Volume/Número/Paginação/Ano: v.37, n. 4, p. 659-666, abr. 2004
- Este periódico é de assinatura
- Este artigo NÃO é de acesso aberto
- Cor do Acesso Aberto: closed
-
ABNT
SILVA, José Reinaldo e SANTOS, Eston Almança dos. Applying Petri nets to requirements validation. IFAC-PapersOnLine, v. 37, n. 4, p. 659-666, 2004Tradução . . Disponível em: https://doi.org/10.1016/S1474-6670(17)36190-6. Acesso em: 16 out. 2024. -
APA
Silva, J. R., & Santos, E. A. dos. (2004). Applying Petri nets to requirements validation. IFAC-PapersOnLine, 37( 4), 659-666. doi:10.1016/S1474-6670(17)36190-6 -
NLM
Silva JR, Santos EA dos. Applying Petri nets to requirements validation [Internet]. IFAC-PapersOnLine. 2004 ;37( 4): 659-666.[citado 2024 out. 16 ] Available from: https://doi.org/10.1016/S1474-6670(17)36190-6 -
Vancouver
Silva JR, Santos EA dos. Applying Petri nets to requirements validation [Internet]. IFAC-PapersOnLine. 2004 ;37( 4): 659-666.[citado 2024 out. 16 ] Available from: https://doi.org/10.1016/S1474-6670(17)36190-6 - Verificação de requisitos de sistemas utilizando redes de Petri
- Reduzindo a volatilidade de requisitos com o volaRE
- 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
- Programação em prolog aplicada a casos de planning em robotica
- Sistema supervisório descentralizado baseado em íntegrons. (também em CD-Rom)
- Equações de estado para mark flow graphs
- Towards a unified view of Petri nets and object oriented modeling
- Process oriented design service: case study for automated information systems
- 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
Informações sobre o DOI: 10.1016/S1474-6670(17)36190-6 (Fonte: oaDOI API)
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