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.