Ecuación de estado

PetrA - redes de Petri

Next: Condición necesaria de alcanzabilidad: Up: Matriz de incidencia y Previous: Matriz de incidencia

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

$\begin{displaymath} M_k = M_{k-1}+A^Tu_{k'} \end{displaymath}$

(1)

donde

es el vector columna, de dimensión $m\times1$ , que representa el estado actual

del sistema; $M_{k-1}$ es el vector columna, también de dimensión $m\times1$ , que representa el estado anterior

del sistema;

es la matriz transpuesta de la matriz de incidencia de la red de Petri; y $u_{k'}$ es el vector columna con

ceros y un 1 en la

-ésima posición, indicando la transición que habrá de dispararse.