Biagio Turchiano Sintesi di un supervisore monolitico in un classico esempio (Gatto e Topo) 19/06/2018

1 Sistema 2 1 Eventi non controllabili: Euc={c7,c8} 3 4 c2 c m2 c3 m3 m6 m6 c7 c4 m4 3 c5 c6 4 m m5 1

Matrice di adiacenza 2

3 Automa F (step 1) m5 m2 01 02 03 04 c1 c1 c4 c4 10 m1 12 14 c2 m4 c2 20 m3 21 23 24 m6 m4 c7 c7 30 m1 32 34 m4 c5 c6 c5 c6 3 c6 41 40 42 43 m3 m1 m6 m2

4 Automa F (step 1’) m5 m2 01 02 03 04 c1 c1 c4 c4 10 m1 12 14 c2 m4 20 m3 21 23 24 m6 m4 c7 c7 30 m1 32 34 m4 c5 c6 c5 c6 4 c6 41 40 42 43 m3 m1 m6 m2

5 Automa F (step 2) m5 02 03 04 c1 c1 c4 c4 10 m1 12 14 c2 m4 c2 c8 c3 20 m3 21 23 24 m6 m4 c7 c7 30 m1 32 34 m4 c5 c5 c6 5 c6 41 40 42 43 m3 m1 m6 m2

6 Automa F (step 2’) m5 02 03 04 c1 c1 c4 c4 10 m1 12 14 c2 m4 c2 c8 20 m3 21 23 24 m6 m4 c7 c7 30 m1 32 34 m4 c5 c5 c6 6 c6 41 40 42 43 m3 m1 m6 m2

7 Automa F (step 3) m5 03 04 c1 c4 10 m1 12 14 c2 m4 c2 c8 c3 c3 c8 c7 20 m3 21 23 24 m6 m4 c7 c7 30 m1 32 34 m4 c5 c5 c6 7 41 40 42 43 m3 m1 m6 m2

8 Automa F (step 3’) m5 03 04 c1 c4 10 m1 12 14 c2 m4 c2 c8 c3 c3 c8 20 m3 21 23 24 m6 m4 c7 c7 30 m1 32 34 m4 c5 c5 c6 8 41 40 42 43 m3 m1 m6 m2

9 Automa F (step 4) 04 c1 c4 10 m1 12 14 c2 m4 c2 c8 c3 c8 c7 c8 m5 20 21 23 24 m6 m4 c7 c7 30 m1 32 34 m4 c5 c5 9 41 40 42 43 m3 m1 m6 m2

10 Automa F (step 4’) 04 c1 c4 10 m1 12 14 c2 m4 c2 c8 c3 c8 c7 c8 m5 20 m3 21 23 24 m6 m4 c7 c7 30 m1 32 34 m4 c5 c5 10 41 40 42 43 m3 m1 m6 m2

11 Automa F (step 4’’) 04 c1 c4 10 m1 12 14 c2 m4 c2 c8 c3 c8 c7 c8 m5 20 m3 21 23 24 m6 m4 c7 c7 30 m1 32 34 m4 c5 c5 11 41 40 42 43 m3 m1 m6 m2

12 Automa F (step 4’’’) 04 c1 c4 10 m1 12 14 c2 m4 c2 c8 c3 c8 c7 c8 20 m3 21 23 24 m6 m4 c7 c7 30 m1 32 34 m4 c5 c5 12 41 40 42 43 m3 m1 m6 m2

13 Automa F (step 5) 04 c1 c4 10 14 c2 m4 c2 c8 c3 c8 m5 20 m3 21 23 24 m6 m4 c7 c7 30 34 m4 13 43

14 Automa F (step 5’) 04 c1 c4 10 14 c2 m4 c2 c8 c3 c8 m5 20 m3 21 23 24 m6 m4 c7 c7 30 34 m4 14 43

15 Automa F (step 5’’) 04 c1 c4 10 14 c2 m4 c2 c8 c3 c8 m5 20 m3 21 23 24 m6 m4 c7 c7 30 34 m4 15 43

16 Automa F (step 5’’’) 04 c1 c4 10 14 c2 m4 c2 c8 c3 c8 m5 20 m3 21 23 24 m6 m4 c7 c7 30 34 m4 16 43

17 Automa F (step 5’’’’) 04 c1 c4 10 14 c2 m4 c2 c8 c3 c8 m5 20 m3 21 23 24 m6 m4 c7 c7 30 34 m4 17 43

18 Automa F (step 5’’’’’) 04 c1 c4 10 14 c2 m4 c2 c8 c3 c8 m5 20 m3 21 23 24 m6 m4 c7 c7 30 34 m4 18 43

19 Automa F (step 5’’’’’’) 04 c1 c4 10 14 c2 m4 c2 c8 c3 c8 m5 20 m3 21 23 24 m6 m4 c7 c7 30 34 m4 19 43

20 Automa F (step 6) 04 c1 c4 10 14 c2 m4 c2 c8 c3 c8 m5 20 m3 21 23 24 m6 m4 c7 c7 30 34 m4 20

Automa F (step 6’): stati non raggiungibili 04 c1 c4 10 14 c2 m4 c2 c8 c3 c8 m5 20 m3 21 23 24 m6 m4 c7 c7 30 34 m4 20

Automa F, rifinito (step 6’’) 04 c1 c4 14 c2 c3 c8 m5 20 23 24 m6 m4 c7 34 20

Automa F (step 7): eventi inibiti 04 m5 14 c3,m1 c3 20 23 24 c5,m5 34 21