A STUDY ON COLORED PETRI NETS AND A PROGRAM TO ANALYZE COLORED PETRI NETS: ANARCO / UM ESTUDO SOBRE REDES DE PETRI COLORIDAS E UM PROGRAMA DE ANÁLISE DE REDES DE PETRI COLORIDAS: ANARCO
AUTOR(ES)
GIOVANNI CORDEIRO BARROSO
DATA DE PUBLICAÇÃO
1987
RESUMO
The modeling of sistems which have identical sub-systems, by means of Petri nets, leads to the generation of large scale graphs with identical components. The extensions of Petri nets, which afford the possibility of distinguishing these sub-systems through the distinction of the tokens within the net, are called colored Petri nets. This work presents some colored Petri net proposals existent in literature and an analysis code based on one of these proposals - the Kurt Jensen one. This program analyses through the mark enumeration method, the colored Petri net properties, such as boundedness, liveness and reinicialization.
ASSUNTO(S)
ACESSO AO ARTIGO
Documentos Relacionados
- Dataflow in colored Petri nets and in actors-oriented workflow graphs
- Diagnóstico de Faltas em Sistemas Elétricos baseado em Redes de Petri Coloridas e Técnicas de Sistemas Especialistas
- Transformação de redes de Petri coloridas em processos de decisão markovianos com probabilidades imprecisas.
- RepositÃrio Web para compartilhamento, reuso, versionamento e evoluÃÃo de conteÃdos binÃrios: modelagem e anÃlise por Redes de Petri coloridas
- Modelagem de conceitos e processos matemáticos por redes de petri coloridas: o caso da integrabilidade de funções reais