Synchronized PN

A transition is fired if :

- it is enabled ( M0 >= Pre ( . , ti) ),

- the event associated with the transition occurs.

Ti

associated event = Ek

Ti will be fired at the

occurrence time of

Ek

Definition :

A transition is said receptive to the associated event

if it is enabled.

Synchronized Petri Nets

Diapositiva precedente

Diapositiva successiva

Torna alla prima diaposiva

Visualizza versione grafica