Aspects mathématiques des réseaux de Pétri [i.e. Petri] — Christophe Reutenauer