UN MÉTODO COMPUTACIONAL PARA LA DETECCIÓN Y CARACTERIZACIÓN DE CONFLICTOS EN REDES DE PETRI A Computational Method for Detection and Characterization of Conflicts on Petri Nets

Revista Ingenierías Universidad de Medellín

关键词: redes de Petri;    detección de conflictos;    algoritmos;    Petri nets;    conflict detection;    algorithms;   

DOI  :  

来源: DOAJ

【 摘 要 】

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.
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.

【 授权许可】

Unknown