https://123dok.net/document/yr3663wo-réseaux-de-petri-exercices.html