22 nov. 2008 ... septième chapitre de son livre, au titre évocateur «comprendre, maîtriser et
appliquer le grafcet» [Blanchard 79], à l'analyse et à la validation des modèles.
Dans ce chapitre, il présente une méthode pour la validation d'un cahier des
charges basée sur une exploitation du graphe des situations accessibles ... 
