Changed the filename

added new petrinet