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