Creato nuovo main che considera solo la classe PetriNet e non la sua
estensione PatriNetGraph..