Enabled Transition

Enabled Transition

C(Tj) set of colors associated with Tj

Then, Tj is enabled for the color ck, for the marking M iff :

M(Pi) >= Pré ( Pi, Tj/ck)

T1 is enabled for :

b = 1 mark of color v

v = 1 mark of color b

and mark of color v

is not enabled for :

o,

Diapositiva precedente

Diapositiva successiva

Torna alla prima diaposiva

Visualizza versione grafica