fr.n7.petriNet.exemple