Categoria: Analisi dei sistemi ad eventi

Appunti di Analisi dei Sistemi ad Eventi. Il corso è tenuto dalla Professoressa Adacher all’Università degli studi di Roma Tre nella facoltà di Ingegneria Informatica. Questi appunti sono stati presi dagli studenti durante il corso nei vari anni. Sono presenti alcune integrazioni con materiale online. 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