La estructura de una red de Petri aleatoria

La estructura de la red de Petri

Una red de Petri identificada es una tupla de seis:

PN={P, T, F, K, W, M0 },

donde

P={P1, P2,…Pm,}, conjunto de biblioteca,

T={T1, T2,…Tm, } , conjunto de transición,

F (P×T) ∪ (T×P), conjunto de arco, ?

K: P→N+∪{ω}, capacidad de almacenamiento Función,

K (P) = ω significa que la capacidad de P es infinita, N+ = {1, 2,...},

W: F→N+, peso sobre el arco ,

M0: P→N, bandera inicial, requisitos: P∩T=, P∪T≠ф,

M: P→N, N={0, 1, 2,…}, la identidad de la red, y Pi?P, M(Pi)≤K(Pi), i=1,…m.

(P, T, F) se denomina red base de PN, denotada como N.

La representación gráfica de la red de Petri es un gráfico dirigido, que incluye dos tipos de nodos: lugares (representados por círculos) y transiciones (representados por líneas cortas). Los arcos se utilizan para representar relaciones de flujo. El estado de la red de Petri está representado por el identificador M, y el identificador en un momento determinado determina el estado de la PN. La Figura 1 muestra un PN identificado. Cada biblioteca contiene una marca entera (positiva o cero) (llamada token o marca), representada por un punto. La marca inicial M0 = (1, 0, 0, 0, 0), denominada en lo sucesivo. como fichas.

El cambio de identificación en la red de Petri sigue ciertas reglas - reglas de transición: (1) Una transición, si cada uno de sus lugares de entrada (hay un arco dirigido desde el lugar a la transición) contiene al menos A marca, entonces esta transición está habilitada (2) La excitación de una transición habilitada hará que la marca en cada lugar de entrada se reduzca y cada lugar de salida (la transición al lugar existe en el arco dirigido) Agregar marcado.