22 nov. 2008 ... Validation de spécifications écrites en GRAFCET : état de l'art. . . . . . . . . . . .31 ...
Approche par traduction de grafcets en systèmes de transitions ...... septième
chapitre de son livre, au titre évocateur «comprendre, maîtriser et ... 
