Comments and improvements in PetriNet