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: 19 fev. 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 fev. 19 ] 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 fev. 19 ] 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 - Uma formalização do processo de design baseado em metáforas: sua aplicação na automatização de sistemas de eventos discretos
- Modelagem e design de sistemas automatizados
- 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
- Programação em prolog aplicada a casos de planning em robotica
- Aplicação de redes de Pétri a um problema de planejamento
- Modelagem de sistemas de informação para empresas virtuais
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
