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. UN MÉTODO COMPUTACIONAL PARA LA DETECCIÓN Y CARACTERIZACIÓN DE CONFLICTOS EN REDES DE PETRI. Rev. ing. univ. Medellín [online]. 2011, vol.10, n.19, pp.189-199. ISSN 1692-3324.
En este artículo se presenta un método que permite detectar la presencia de conflictos en modelos construidos con base en el formalismo matemático de las Redes de Petri. Se muestra cómo mediante la aplicación de un algoritmo que toma como datos de entrada la representación matricial de una red, es posible detectar la existencia de conflictos y caracterizar su tipo, identificando, además, el conjunto de elementos que los presentan. La utilización del método propuesto se ilustra usando una Red de Petri Ordinaria.
Palavras-chave : redes de Petri; detección de conflictos; algoritmos; Petri nets; conflict detection; algorithms.