Adding comments inside the compilePetriNet method