fr.n7.petrinet