Timed Automata in UPPAAL

n

m

a

x<=5 & yɯ

x := 0

x<=5

y<=10

g1

g2

g3

g4

clock natural number and

clock guards

data guards

Clock Assignments

Variable Assignments

Location Invariants

Föregående bild

Nästa bild

Tillbaka till första bilden

Visa grafisk version