Un método computacional para la detección y caracterización de conflictos en redes de Petri
Barra lateral del artículo
Palabras clave:
edes de Petri, detección de conflictos, algoritmos
Descargas
##plugins.themes.bootstrap3.displayStats.noStats##
Número
Sección
Artículos
Queda autorizada la reproducción total o parcial de los contenidos de la revista con finalidades educativas, investigativas o académicas siempre y cuando sea citada la fuente. Para poder efectuar reproducciones con otros propósitos, es necesario contar con la autorización expresa del Sello Editorial Universidad de Medellín.
Contenido principal del artículo
Resumen
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.
Detalles del artículo
Cómo citar
[1]
P. L. Ángel Restrepo, «Un método computacional para la detección y caracterización de conflictos en redes de Petri», rev.ing.univ.Medellin, vol. 10, n.º 19, pp. 189–200, jul. 2014, Accedido: 23 de mayo de 2026. [En línea]. Disponible en: https://revistas.udem.edu.co/index.php/ingenierias/article/view/509