Università Roma Tre

1. INTRODUZIONE
SISTEMI AD EVENTI DISCRETI (SED)
MODELLI AD EVENTI DISCRETI (MED)
• MED LOGICI
• MED TEMPORIZZATI
2. 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
3. MED LOGICI
AUTOMI
4. 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

DI FEBBRARO A., GIUA A., SISTEMI AD EVENTI DISCRETI , MCGRAW-HILL, 2002
DISPENSE DISPONIBILI SUL SITO HTTP://ADACHER.DIA.UNIROMA3.IT/ILCORSO.HTM