Interpreted PN

informal Presentation

Associated with the places :

- actions modifying the values of variables

- a delay.

Associated with the transitions :

- a firing condition,

- an event

X1 > 33

d = 5 u.t

Ai : DO X1 = V+4*t

Ei

The action is executed

when the place is marked

The transition is enabled if :

-P is marked at least since 5 u.t,

- X1 is > than 33,

- Ei occurs

Interpreted Petri Nets

Diapositiva precedente

Diapositiva successiva

Torna alla prima diaposiva

Visualizza versione grafica