Programme

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

Core Documentation

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

Type of evaluation

Written and oral test and / or laboratory

Programme

1. Introduction
Discrete event systems (sed)
Discrete event models (med)
Logical med
Timed med
2. Analysis and regulation of production flows
Theory of waiting lines: fundamental relationships
Birth and death processes
Queue theory and performance analysis in flow systems
Open queue networks
Closed code networks
3. Logical med
Automata
4. Timed med
Petri net representation of discrete event control systems:
petri net elements: events, transitions; conditions, places, brands; initial marking pre, post, incidence matrices; marked networks: state graph; equation of state, conflict transition, warehouse model, inhibitory arcs; competition, failure model; timing; supervisor control properties of petri nets: conservativeness, boundedness, liveliness, invariant cyclicality of place, of transition; synchronization graphs.
representation of supervisor control in petri nets.

Core Documentation

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

Type of evaluation

Written and oral test and / or laboratory

Programme

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

Core Documentation

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

Type of evaluation

Written and oral test and / or laboratory

Programme

1. Introduction
Discrete event systems (sed)
Discrete event models (med)
Logical med
Timed med
2. Analysis and regulation of production flows
Theory of waiting lines: fundamental relationships
Birth and death processes
Queue theory and performance analysis in flow systems
Open queue networks
Closed code networks
3. Logical med
Automata
4. Timed med
Petri net representation of discrete event control systems:
petri net elements: events, transitions; conditions, places, brands; initial marking pre, post, incidence matrices; marked networks: state graph; equation of state, conflict transition, warehouse model, inhibitory arcs; competition, failure model; timing; supervisor control properties of petri nets: conservativeness, boundedness, liveliness, invariant cyclicality of place, of transition; synchronization graphs.
representation of supervisor control in petri nets.

Core Documentation

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

Type of evaluation

Written and oral test and / or laboratory