Le GRAFCET est un outil graphique utilisé pour formaliser les cahiers des charges des machines automatisées, facilitant la communication entre le client et le constructeur. Il décrit les étapes, les transitions et les conditions logiques qui régissent le fonctionnement des systèmes automatisés. Le document fournit également des exemples d'applications pratiques et d'exercices d'établissement de GRAFCET pour divers systèmes.