Scaricare la presentazione
La presentazione è in caricamento. Aspetta per favore
1
Biagio Turchiano Sintesi di un supervisore monolitico in un classico esempio (Gatto e Topo) 19/06/2018
2
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
3
Matrice di adiacenza 2
4
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
5
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
6
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
7
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
8
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
9
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
10
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
11
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
12
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
13
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
14
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
15
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
16
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
17
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
18
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
19
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
20
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
21
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
22
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
23
Automa F, rifinito (step 6’’)
04 c1 c4 14 c2 c3 c8 m5 20 23 24 m6 m4 c7 34 20
24
Automa F (step 7): eventi inibiti
04 m5 14 c3,m1 c3 20 23 24 c5,m5 34 21
Presentazioni simili
