Add naming of petrinet classes