| PetrA - redes de Petri |
Next: Bibliography
Up: Introducción a las redes
Previous: Técnicas de reducción
Las redes de Petri son una herramienta matemática que nos permite
hacer modelación y análisis de sistemas cuya estructura esté
expresada en términos de causa-evento. Las redes de Petri son una
estructura algebraica
, con lugares, transiciones,
funciones de entrada y salida, y marcas. Las redes de Petri también
pueden definirse como un tipo particular de grafo con dos tipos de
nodos: lugares y transiciones. Los lugares transiciones forman la parte
estática de la red de Petri y; las funciones de entrada y salida, y
las marcas forman la parte dinámica de la red.
La parte fuerte de las redes de Petri son su ayuda para analizar diferentes propiedades de un sistema, estas propiedades son: alcanzabilidad, acotamiento, activa, reversibilidad y estado inicial, cubrir, persistencia, distancia sincrónica, y equidad entre otras. Las redes de Petri tienen distintas técnicas de análisis, las que aqui se han discutido son: árbol de alcanzabilidad, enfoque de matriz de ecuaciones y técnicas de reducción o descomposición.
Una buena introducción a las redes de Petri y sus mecanísmos de análisis se pueden encontrar en[1,2,3] y [4].
Las redes de Petri tienen su principal problema cuando modelan sistemas grandes,debido a que la red de vuelve compleja y demasiado extensa. Por otro lado, para aplicar redes de Petri a muchos problemas específicos, es necesario aplicarle restricciones o hacerle extensiones al modelo original.