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