La composición de la red de Petri difusa

Una red de Petri difusa se representa formalmente mediante una tupla de siete: FPetriNet = {P, T, I, Q, R(t), F(t), S0(P)}.

Entre ellos:

P es un conjunto finito de nodos de posición difusos;

T es un conjunto finito de nodos de transferencia difusos;

>I es una relación difusa etiquetada en PxT, que representa la conexión entre el nodo de posición y el nodo de transferencia y la cantidad de entrada nominal en la línea de conexión, la función de cálculo de la fuerza de entrada S y la fuerza de conexión correspondiente;

Q es una relación difusa identificada en TxP, que representa la conexión entre el nodo de transferencia y el nodo de posición, la salida nominal en la línea de conexión, la función de cálculo del incremento de marca R y la fuerza de conexión correspondiente;

R(t) es una función definida en T que es un número real en [0, infinito), que representa el umbral de ignición del nodo de transferencia;

F(t) se define en A mapeo en T , que asigna el nodo de transición t en T a una función no negativa que aumenta monótonamente definida en cada una de sus cantidades de entrada, que se denomina función de control de transición de estado del nodo t;

S0(P) es un Función definida en el cuerpo que toma un número real en (0, infinito) y representa el estado de marcado inicial del nodo de ubicación al comienzo de la ejecución, también conocida como asignación inicial de recursos.