renames PetriNet to Petrinet and uses the parser as a resource in Main