Insegnamento - Università Roma Tre

ANALISI DEI SISTEMI AD EVENTI (obiettivi)

Codice

20801782

Lingua

ITA

Tipo di attestato

Attestato di profitto

Crediti

Settore scientifico disciplinare

ING-INF/04

Ore Aula

Attività formativa

Attività formative caratterizzanti

Canale: CANALE 1

Docente	ADACHER LUDOVICA (programma) 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 (testi) DI FEBBRARO A., GIUA A., SISTEMI AD EVENTI DISCRETI , MCGRAW-HILL, 2002 DISPENSE DISPONIBILI SUL SITO HTTP://ADACHER.DIA.UNIROMA3.IT
Date di inizio e termine delle attività didattiche	Dal al
Modalità di erogazione	Tradizionale
Modalità di frequenza	Non obbligatoria

Canale: CANALE 2

Docente	ADACHER LUDOVICA (programma) 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 (testi) DI FEBBRARO A., GIUA A., SISTEMI AD EVENTI DISCRETI , MCGRAW-HILL, 2002 DISPENSE DISPONIBILI SUL SITO HTTP://ADACHER.DIA.UNIROMA3.IT
Date di inizio e termine delle attività didattiche	Dal al
Modalità di erogazione	Tradizionale
Modalità di frequenza	Non obbligatoria