Reachability Matrix R

Element

A1

A2

A3

B1

B2

B3

C1

C2

D1

D2

D3

A1

1

1

1

0

0

0

0

0

0

0

0

A2

1

1

1

0

0

0

0

0

0

0

0

A3

1

1

1

0

0

0

0

0

0

0

0

B1

1

1

1

1

0

0

1

1

0

0

1

B2

1

1

1

0

1

0

1

1

1

1

1

B3

1

1

1

1

1

1

1

1

1

1

1

C1

1

1

1

0

0

0

1

0

0

0

0

C2

1

1

1

0

0

0

0

1

0

0

0

D1

1

1

1

0

0

0

0

1

1

0

0

D2

1

1

1

0

0

0

0

1

0

1

0

D3

1

1

1

0

0

0

1

0

0

0

1