Networks of Timed Automata + Integer Variables + arrays ….

l1

l2

a!

x>=2

i==3

x := 0

i:=i+4

m1

m2

a?

y<=4

………….

Two-way synchronization

on complementary actions.

Closed Systems!

(l1, m1,………, x=2, y=3.5, i=3,…..) (l2,m2,……..,x=0, y=3.5, i=7,…..)

(l1,m1,………,x=2.2, y=3.7, I=3,…..)

0.2

tau

Example transitions

If a URGENT CHANNEL

Previous slide

Next slide

Back to first slide

View graphic version