Le GRAFCET (acronyme de « GRAphe Fonctionnel de Commande Etapes/Transitions » et de « GRAphe du groupe AFCET ») est un mode de représentation et d'analyse d'un automatisme, particulièrement bien adapté aux systèmes à évolution séquentielle, c'est-à-dire décomposable en étapes.

Le GRAFCET représente donc graphiquement le fonctionnement d'un automatisme par un ensemble :

* d'étapes auxquelles sont associées des actions

* de transitions entre étapes auxquelles sont associées des réceptivités

* des liaisons orientées entre les étapes et les transitions