Riassunto automazione industriale

Prefissi, Substringhe e Suffissi ......................................................................................................... 7

Operazioni sul linguaggio .................................................................................................................... 7

Concatenazione ............................................................................................................................... 7

Chiusura prefissa ............................................................................................................................. 7

Chiusura di Kleene .......................................................................................................................... 7

Proprietà dei linguaggi .................................................................................................................... 7

Automa deterministico (definizione) .................................................................................................. 8

Automa non deterministico (definizione) ........................................................................................... 8

Automa a stati finiti (definizione) ....................................................................................................... 8

Estensione del dominio di f ............................................................................................................. 8

Automi con ingressi ed uscite ............................................................................................................. 8

Macchina di Moore ......................................................................................................................... 8

Macchina di Melay .......................................................................................................................... 9

Linguaggi rappresentati dagli automi ................................................................................................. 9

Linguaggio generato (definizione) .................................................................................................. 9

Linguaggio marcato (definizione).................................................................................................... 9

Equivalenza fra automi ....................................................................................................................... 9

Automi equivalenti (definizione) .................................................................................................... 9

Minimizzazione dello spazio di stato .................................................................................................. 9

Equivalenza tra stati ........................................................................................................................ 9

Operazioni sugli automi .................................................................................................................... 10

Parte accessibile ............................................................................................................................ 10

Parte coaccessibile ........................................................................................................................ 10

Operazione di Trim ........................................................................................................................ 10

Operazione di Completamento ..................................................................................................... 10

Prodotto ........................................................................................................................................ 10

Composizione parallela ................................................................................................................. 10

Proiezione ..................................................................................................................................... 11

Affinamento dello spazio di stato ..................................................................................................... 11

Affinamento tramite prodotto ...................................................................................................... 11

Subautoma (definizione) ................................................................................................................... 11

Linguaggio regolare (definizione) ..................................................................................................... 11

Teorema: Espressioni regolari e linguaggi regolari ........................................................................... 12

Proprietà di sicurezza e di blocco ..................................................................................................... 12

Stato di blocco o Deadlock (Definizione) ...................................................................................... 12

Livelock (Definizione) .................................................................................................................... 12

Automa bloccante (Definizione) ................................................................................................... 13

Reti di Petri ............................................................................................................................................ 13

Definizioni ......................................................................................................................................... 13

[Grafo di] Reti di Petri (Definizione) .............................................................................................. 13

Reti di Petri (Definizione 2) ........................................................................................................... 14

Marcatura (Definizione) ................................................................................................................ 14

[Grafo di] Reti di Petri Marcate (Definizione) ............................................................................... 14

Stato di una Rete di Petri .............................................................................................................. 14

Transizione abilitata (Definizione) ................................................................................................ 14

Dinamica di una Rete di Petri (Definizione) .................................................................................. 15

Stati Raggiungibili (Definizione) .................................................................................................... 15

Equazione di Stato (Definizione) ................................................................................................... 15

Linguaggi ........................................................................................................................................... 16

Rete di Petri Etichettata (Definizione) .......................................................................................... 16

Linguaggio generato e marcato (Definizione) ............................................................................... 16

Analisi delle Reti di Petri ................................................................................................................... 16

Proprietà Comportamentali .............................................................................................................. 16

Raggiungibilità (Definizione) ......................................................................................................... 16

Teorema 1 ..................................................................................................................................... 17

Limitatezza e k-limitatezza di un posto (Definizione) ................................................................... 17

Limitatezza e k-limitatezza di una PN (Definizione) ...................................................................... 17

Sicurezza di una PN (Definizione).................................................................................................. 17

Teorema 2 ..................................................................................................................................... 17

Transizione viva (Definizione) ....................................................................................................... 17

PN viva (Definizione) ..................................................................................................................... 17

Stato di blocco (deadlock) (Definizione) ....................................................................................... 17

PN libera da deadlock (Definizione) .............................................................................................. 17

PN reversibile (Definizione) .......................................................................................................... 18

Stati “home” (Definizione) ............................................................................................................ 18

Proprietà Strutturali .......................................................................................................................... 18

Vivezza (Definizione) ..................................................................................................................... 18

Limitatezza (Definizione) ............................................................................................................... 18

Conservatività (Definizione) .......................................................................................................... 18

Ripetitività (Definizione) ............................................................................................................... 18

Consistenza (Definizione) .............................................................................................................. 18

Classi elementari di PN ..................................................................................................................... 18

Grafo degli eventi (Definizione) .................................................................................................... 18

Teorema 1 ..................................................................................................................................... 19

Teorema 2 ..................................................................................................................................... 19

Teorema 3 ..................................................................................................................................... 19

Grafo degli eventi deterministico (Definizione) ............................................................................ 19

Definizione 1 ................................................................................................................................. 19

Definizione 2 ................................................................................................................................. 19

Definizione 3 ................................................................................................................................. 19

Teorema 4 ..................................................................................................................................... 19

Classi particolari di Reti di Petri .........................................