Un método computacional para la detección y caracterización de conflictos en redes de Petri
Keywords:
edes de Petri, detección de conflictos, algoritmosAbstract
En este artÃculo se presenta un método que permite detectar la presencia deconflictos en modelos construidos con base en el formalismo matemático de lasRedes de Petri. Se muestra cómo mediante la aplicación de un algoritmo que tomacomo datos de entrada la representación matricial de una red, es posible detectar laexistencia de conflictos y caracterizar su tipo, identificando, además, el conjunto deelementos que los presentan. La utilización del método propuesto se ilustra usandouna Red de Petri Ordinaria.Downloads
Download data is not yet available.
Downloads
How to Cite
Ãngel Restrepo, P. L. (2014). Un método computacional para la detección y caracterización de conflictos en redes de Petri. Revista IngenierÃas Universidad De MedellÃn, 10(19), 189–200. Retrieved from http://udem.scimago.es/index.php/ingenierias/article/view/509
Issue
Section
Articles
License
The total or partial reproduction of the contents of the journal for educational, research, or academic purposes is authorized as long as the source is cited. For reproduction for other purposes, express authorization from the Sello Editorial Universidad de MedellÃn is required.