Le GRAFCET (GRAphe Fonctionnel de Commande Étape Transition) est un outil de description du cahier des charges des automatismes logiques. Cet outil est un diagramme fonctionnel c'est-à-dire une représentation graphique, donc concise et facile à lire, permettant de décrire tous les comportements attendus d'un automatisme de commande face aux réactions du processus automatisé. De plus, il permet une spécification rigoureuse et progressive du fonctionnement du système automatisé.