LMC1112-progetto-colored-petri-nets