Esercizi di controllo logico con reti di Petri