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

clock assignments

location invariants

Previous slide

Next slide

Back to first slide

View graphic version