Timed Petri Net

Timed Petri net

Definition : A timed Petri net is a structure :

RdP-TL = < RdP, I >

with :

- RdP an autonomous Petri net,

- I a function that associates a sensitive time intervall

to each transition

Timed Petri nets are more general than

temporized ones.

T1

d1

Temporized

net

T1 ’

( d1,d1 )

( 0,0 )

Timed

Net

T1 ’ ’

Diapositiva precedente

Diapositiva successiva

Torna alla prima diaposiva

Visualizza versione grafica