Il existe différents types de réseaux de Petri : temporisés, interprétés,
stochastiques, colorés ... interprétation unique des entrées/sorties du syst`eme : il
s'agit du Grafcet. ... Sur ce schéma, on modélise un acc`es direct des utilisateurs
aux livres. 
