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