Timed Automata

Timed Automata

The effect of a lowerbound guard:

The difference between guards and invariants

The transition can be fired if the elapsed time in the

location is greatest or equal than 2

s

x>=2,

x:=0

Diapositiva precedente

Diapositiva successiva

Torna alla prima diaposiva

Visualizza versione grafica