Firing an Enabled Transition

Firing an enabled transition

The firing of an enabled transition consistes in :

- to take off to each input place Pi a mark quantity

equal to Pré( Pi, Tj/ck),

- to add to all each output place Pi a mark quantity

equal to Post( Pi, Tj/ck),

{<b>,<v>,<o>}

f(b) = v,

f(v) = b + v

f(o) = b + 2 o

g(b) = b,

g(v) = o + b

g(o) = 2 o

Firing of T1/v

<b>,

<o>

T1

Diapositiva precedente

Diapositiva successiva

Torna alla prima diaposiva

Visualizza versione grafica