Using time petri nets for modeling and verification of timed constrained workflow systems (2007)
- Authors:
- Autor USP: SILVA, JOSE REINALDO - EP
- Unidade: EP
- Subjects: REDES DE PETRI (MODELAGEM); CONTROLE DE PROCESSOS; GESTÃO POR PROCESSOS; LÓGICA
- Language: Inglês
- Imprenta:
- Source:
- Título: Proceedings of COBEM
- Conference titles: International Congress of Mechanical Engineering
-
ABNT
DEL FOYO, Pedro Manuel Gonzalez e SILVA, José Reinaldo. Using time petri nets for modeling and verification of timed constrained workflow systems. 2007, Anais.. Brasília: ABCM, 2007. Disponível em: https://repositorio.usp.br/directbitstream/429dee87-f574-4ccd-be57-40fd4c282083/Silva_JR-2007-Using%20time%20petri%20nets%20for%20modeling%20and%20verification%20of%20timed%20constrained%20workflow%20systems.Cobem.pdf. Acesso em: 12 abr. 2026. -
APA
Del Foyo, P. M. G., & Silva, J. R. (2007). Using time petri nets for modeling and verification of timed constrained workflow systems. In Proceedings of COBEM. Brasília: ABCM. Recuperado de https://repositorio.usp.br/directbitstream/429dee87-f574-4ccd-be57-40fd4c282083/Silva_JR-2007-Using%20time%20petri%20nets%20for%20modeling%20and%20verification%20of%20timed%20constrained%20workflow%20systems.Cobem.pdf -
NLM
Del Foyo PMG, Silva JR. Using time petri nets for modeling and verification of timed constrained workflow systems [Internet]. Proceedings of COBEM. 2007 ;[citado 2026 abr. 12 ] Available from: https://repositorio.usp.br/directbitstream/429dee87-f574-4ccd-be57-40fd4c282083/Silva_JR-2007-Using%20time%20petri%20nets%20for%20modeling%20and%20verification%20of%20timed%20constrained%20workflow%20systems.Cobem.pdf -
Vancouver
Del Foyo PMG, Silva JR. Using time petri nets for modeling and verification of timed constrained workflow systems [Internet]. Proceedings of COBEM. 2007 ;[citado 2026 abr. 12 ] Available from: https://repositorio.usp.br/directbitstream/429dee87-f574-4ccd-be57-40fd4c282083/Silva_JR-2007-Using%20time%20petri%20nets%20for%20modeling%20and%20verification%20of%20timed%20constrained%20workflow%20systems.Cobem.pdf - Análise da propriedade distância síncrona na rede GHENeSYS
- Análise de invariantes na rede de Petri Ghenesys
- Toward a multi-agent manager to a set of agv's
- 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
- Specification and analysis for automated flexible manufacturing
- Integrated tools environment for modeling and analysis of automated planning systems
- Development of tool for automated planning domains modeling and analysis
- Management and collecting data in the informed manufacturing
- Towards a unified view of Petri nets and object oriented modeling
Download do texto completo
| Tipo | Nome | Link | |
|---|---|---|---|
 |
Silva_JR-2007-Using time ... |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
