Computation of Sequential Flexibility in Networks of FSMs byWindowing - The Unknown Component Problem: Theory and Applications - page 198

a d

M B 1 M C 1 M B 1 M B 1

M A

M B 2 M B 2

b

M A

M B 1 M C 1

M C 1 M C 1

M A

M B 2 M C 2

M C 2 M C 2

c e f

M C 1 M C 1

M B 1

M C 1

M A

M A

M A

M B 2 M C 2 M C 1 M C 1

Fig. 12.8 ( a ) Topology N. 1; ( b ) Topology N. 2; ( c ) Topology N. 3; ( d ) Topology N. 4;
( e ) Topology N. 5; ( f ) Topology N. 6

M X 2 M C 1 Š M A M C 1
M X 2 M C 2 Š M A M C 2
c. Topology N. 3 in Fig. 12.8 c
8
<

M B 1 M X 1 Š M B 1 M A

M B 2 M X 1 Š M B 2 M A

:

M C 1 M X 1 Š M C 1 M A

M C 2 M X 1 Š M C 2 M A

8
<

M X 2 M B 1 Š M A M B 1

M X 2 M B 2 Š M A M B 2

:

M X 2 M B 1 Š M A M B 1

M X 2 M B 2 Š M A M B 2

d. Topology N. 4 in Fig. 12.8 d
Same as topology N. 2.
e. Topology N. 5 in Fig. 12.8 e
M X M C 1

Š M A M C 1

M X M C 2 Š M A M C 2