Timed Automata

n

m

a

(Alur & Dill, 1990)

Clocks: x, y

x<=5 & yɯ

x := 0

Guard

Boolean combination of comp with

integer bounds

Reset

Action perfumed on clocks

Transitions:

( n , x=2.4 , y=3.1415 )

( n , x=3.5 , y=4.2415 )

e(1.1)

( n , x=2.4 , y=3.1415 )

( m , x=0 , y=3.1415 )

a

State:

( location , x=v , y=u ) where v,u are in R

Action

used

for synchronization

Föregående bild

Nästa bild

Tillbaka till första bilden

Visa grafisk version