fr.n7.petrinet.exemples