adding petrinet example