Ecuación de estado

En una red de Petri, la matriz de estado se define de forma recurrente de la forma siguiente:

 

M_k = M_k-1+A^Tu_k' (2.1)

donde M_k es el vector columna, de dimensión $m\times1$, que representa el estado actual k del sistema; M_k-1 es el vector columna, también de dimensión $m\times1$, que representa el estado anterior k-1 del sistema; A^T es la matriz transpuesta de la matriz de incidencia de la red de Petri; y u_k' es el vector columna con n-1 ceros y un 1 en la j-ésima posición, indicando la transición que habrá de dispararse.