Lezione 16 - reti di Petri temporizzate