Le GRAFCET (Graphic fonctionnel de commande étapes/transitions) est un langage de spécification qui permet la description fonctionnelle du comportement de la partie séquentielle des systèmes de ...