Source: http://www.mastercorp.free.fr/Ing1/Cours/Reseau_Petri/reseau_de_petri-cours_de_beaude_b.pdf