Le document présente le modèle Grafcet, un outil graphique développant des systèmes à logique séquentielle pour la représentation des automatismes. Il décrit les éléments graphiques, les règles de syntaxe, et les règles d'évolution qui régissent le comportement des systèmes automatisés. Enfin, il aborde les différentes perspectives pour spécifier les fonctions et le fonctionnement des systèmes automatisés.