added new Petrinet export