petrinet - added start and end-element