Diagramma di stato Reti di Petri