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

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

Full description

Bibliographic Details

Main Author:	Pedro Luis Ángel Restrepo
Format:	Artigo
Language:	Inglês
Published:	Universidad de Medellín 2011-12-01
Series:	Revista Ingenierías Universidad de Medellín
Subjects:	redes de Petri detección de conflictos algoritmos Petri nets conflict detection algorithms
Online Access:	http://www.scielo.org.co/scielo.php?script=sci_arttext&pid=S1692-33242011000200018
Tags:	Add Tag No Tags, Be the first to tag this record!