fr.n7.petriNet