modif petriNet