https://123dok.net/document/oz12w78y-formalisation-logique-lineaire-fonctionnement-reseaux-petri.html