REDES DE PETRI

DEFINICIÓN
Una Red de Petri es un modelo gráfico, formal y abstracto para describir y analizar
el flujo de información.
El análisis de las Redes de Petri ayuda a mostrar información importante sobre la
estructura y el comportamiento dinámico de los sistemas modelados.
La teoría de las Redes de Petri permite la representación matemática del sistema a
ser modelado.
GENERALIDADES
Las Redes de Petri están compuestas de cuatro componentes básicos que forman
su estructura: Un conjunto de plazas P, un conjunto de transiciones T, la función de
entrada I, y la función de salida O.
Una estructura de Red de Petri RP, es una cuarteta RP= (P, T, I, O), donde:
P= {𝑃1 , 𝑃2 , … , 𝑃𝑛 } es un conjunto finito de plazas, n>=1.
T= {𝑡1 , 𝑡2 , … , 𝑡𝑛 } es un conjunto finito de transiciones, m>=1.
El conjunto de plazas y el conjunto de transiciones son disyunciones; entonces,
RuT≠PnT=0
I: P T Es la función de entrada, un mapeo desde las plazas de entrada hacia el
conjunto de transiciones.
0: T P Es la función de salida, una mapeo desde las transiciones hacia el
conjuntos de plazas de salida
ELEMENTOS

Lugar
Los objetos de esta clase deben encargarse de representar a los nodos
lugares de la gráfica de red de Petri. El atributo principal de estos objetos
es el número de tokens que almacena. Atributos que pueden considerarse
son: el límite de tokens que puede almacenar (si se trabaja con una red de
Petri de capacidad finita), y en caso de trabajar con redes de Petri
coloreadas, una posible solución es sustituir el elemento del valor del
token por un arreglo que indique el número de tokens que trabaja, junto
con sus colores.
Transición
Los objetos de esta clase deben representar las características gráficas y de
comportamiento de este tipo de nodo. Estos objetos deben conocer sus
 lugares de entrada y salida. Estos objetos deben de tener una unidad de
ejecución para realizar los cambios de marcas de la red.
Arco
Los objetos de esta clase deben representar gráficamente el arco dirigido
entre una transición y un lugar, o entre un lugar y una transición. Este
objeto tiene asociado el atributo de peso y debe tener la propiedad de tener
algoritmos para dibujar, no sólo con líneas rectas los arcos entre dos
nodos.
Token
Los objetos de esta clase representan a los tokens. Para una red sencilla
pudieran no tener relevancia, pero son relevantes si se desea extender
a PetrA para trabajar con redes de Petri coloreadas. Por lo que su atributo
será el color.

APLICACIONES
Algunas de las aplicaciones más importantes de las Redes de Petri han sido en el
modelado y análisis de los protocolos de comunicación, en el modelado y análisis
de los sistemas de manufactura. Se han utilizado para representar líneas de
producción, líneas de ensamble automatizadas, sistema de producción automotriz,
sistemas de manufactura flexible, sistemas just-in-time, etc.