Networks of Timed Automata

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!

Föregående bild

Nästa bild

Tillbaka till första bilden

Visa grafisk version