StateChart AND-decomposition

V,W

V.Y

V,Z

V

W

X

X,Y

X,W

X.Z

R

Q

Z

Y

U

R

Q

S

T

k

e

e

e

k

To be in state U the system

must be both in states S and T

Previous slide

Next slide

Back to first slide

View graphic version