Symbolic Transitions

n

m

xɯ

y:=0

x

y

delays to

x

y

x

y

conjuncts to

x

y

projects to

1<=x<=4

1<=y<=3

1<=x, 1<=y

-2<=x-y<=3

3<x, 1<=y

-2<=x-y<=3

3<x, y=0

Thus (n,1<=x<=4,1<=y<=3) =a => (m,3<x, y=0)

Previous slide

Next slide

Back to first slide

View graphic version