Appunti di Analisi dei Sistemi ad Eventi. Il corso è tenuto dalla Professoressa Adacher allUniversità 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