Réseaux de Petri 1, G.W. Brams · Super Livre