Networks of Timed Automata

Machine

Person

coin?

cof!

coin!

cof?

UPPAAL: A closed CCS-like system

xɛ

x=3

yɮ

1

2

3

4

1

2

3

(Mach.1,Pers.1,x=0,y=0) (Mach.1,Pers.1,x=3,y=3) (Mach.2,Pers.2,x=3,y=3)

(Mach.1,Pers.1,x=0,y=0) (Mach.1,Pers.1,x=3,y=3)

If coin is URGENT

Previous slide

Next slide

Back to first slide

View graphic version