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.