Réseaux de Petri 1 — G.W. Brams