Serviços Personalizados
Journal
Artigo
Indicadores
- Citado por SciELO
- Acessos
Links relacionados
- Citado por Google
- Similares em SciELO
- Similares em Google
Compartilhar
Revista Ingenierías Universidad de Medellín
versão impressa ISSN 1692-3324versão On-line ISSN 2248-4094
Resumo
ANGEL RESTREPO, Pedro Luis. A Computational Method for Detection and Characterization of Conflicts on Petri Nets. Rev. ing. univ. Medellín [online]. 2011, vol.10, n.19, pp.189-199. ISSN 1692-3324.
This article describes a method which allows detecting the presence of conflicts in models constructed based on the mathematical formalism of Petri Nets. The article shows how it is possible to detect the existence of conflicts and characterize their type through the application of an algorithm which takes the matricial representation as entry data, identifying also the number of elements which represent them. The use of the method proposed is shown using an ordinary Petri Net.
Palavras-chave : redes de Petri; detección de conflictos; algoritmos; Petri nets; conflict detection; algorithms.