Source: http://pagesperso.ls2n.fr/~attiogbe-c/mespages/MSFORMEL/IUT/mcar_cours2_ReseauxDePetri.2x1.pdf