Some issues in real-time systems verification using time petri nets (2011)
- Authors:
- Autor USP: SILVA, JOSÉ REINALDO - EP
- Unidade: EP
- DOI: 10.1590/s1678-58782011000400010
- Subjects: REDES DE PETRI; TEMPO-REAL
- Language: Inglês
- Imprenta:
- Publisher place: Rio de Janeiro
- Date published: 2011
- Source:
- Título: Journal of the Brazilian Society of Mechanical Sciences
- ISSN: 0100-7386
- Volume/Número/Paginação/Ano: v. 33, n. 4, p. 467-474, 0ct./Dec. 2011
- Este periódico é de acesso aberto
- Este artigo NÃO é de acesso aberto
-
ABNT
GONZÁLEZ DEL FOYO, Pedro Manuel e SILVA, José Reinaldo. Some issues in real-time systems verification using time petri nets. Journal of the Brazilian Society of Mechanical Sciences, v. 33, n. 4, p. 467-474, 2011Tradução . . Disponível em: https://doi.org/10.1590/s1678-58782011000400010. Acesso em: 23 jan. 2026. -
APA
González Del Foyo, P. M., & Silva, J. R. (2011). Some issues in real-time systems verification using time petri nets. Journal of the Brazilian Society of Mechanical Sciences, 33( 4), 467-474. doi:10.1590/s1678-58782011000400010 -
NLM
González Del Foyo PM, Silva JR. Some issues in real-time systems verification using time petri nets [Internet]. Journal of the Brazilian Society of Mechanical Sciences. 2011 ; 33( 4): 467-474.[citado 2026 jan. 23 ] Available from: https://doi.org/10.1590/s1678-58782011000400010 -
Vancouver
González Del Foyo PM, Silva JR. Some issues in real-time systems verification using time petri nets [Internet]. Journal of the Brazilian Society of Mechanical Sciences. 2011 ; 33( 4): 467-474.[citado 2026 jan. 23 ] Available from: https://doi.org/10.1590/s1678-58782011000400010 - 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
- Toward a multi-agent manager to a set of agv's
- Verification of automated systems using invariants
- 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
- Interactive design of integrated systems
- Método Delphi – uma ferramenta para uso em microempresas de base tecnológica
Informações sobre o DOI: 10.1590/s1678-58782011000400010 (Fonte: oaDOI API)
Download do texto completo
| Tipo | Nome | Link | |
|---|---|---|---|
 |
Silva_JR-2011-Some issues... |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
