Argomento 16: Analisi di reti di Petri