Petri Nets: Dynamics

Firing Rule:

Firing an enabled transition

– removes one token from each input place of the transition

– adds one token to each output place of the transition

Enabling Rule:

A transition is enabled if every input place contains at

least one token

Petri Nets - Dynamics

Diapositiva precedente

Diapositiva successiva

Torna alla prima diaposiva

Visualizza versione grafica