ASE

MODULO 1

Introduzione
Sistemi ad eventi discreti (SED)
Modelli ad eventi discreti (MED), MED logici e temporizzati
Analisi e regolazione dei flussi produttivi
Teoria delle file d’attesa: relazioni fondamentali
Processi di nascita e morte
Teoria delle code e analisi delle prestazioni nei sistemi a flusso
Reti di code aperte
Reti di code chiuse

MODULO 2

MED logici
Automi
MED temporizzati
Rappresentazione con reti di Petri di sistemi di controllo ad eventi discreti:
Elementi delle reti di Petri: eventi , transizioni; condizioni, posti, marche; marcatura iniziale
Matrici Pre , Post, di incidenza; reti marcate: grafo di stato; equazione di stato, di transizione
Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore
Proprietà delle reti di Petri: conservatività, limitatezza, vivezza, ciclicità
Invarianti di posto, di transizione; grafi di sincronizzazione.
Rappresentazione del controllo supervisore nelle reti di Petri