Buscar
Mostrando ítems 1-1 de 1
Un método computacional para la detección y caracterización de conflictos en redes de Petri
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 ...