Le grafcet est un langage fonctionnel graphique conçu pour décrire le fonctionnement des systèmes automatisés, facilitant la maintenance et les dépannages. Il se compose d'étapes, de transitions et de réceptivités, permettant de représenter des comportements stables et les évolutions d'un cycle. Le document également distingue entre la représentation fonctionnelle et technologique, ainsi que des concepts tels que la divergence et la convergence dans les cycles de machine.