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!

Previous slide Next slide Back to first slide View graphic version