Il s'agit d'un outil de description séquentiel des automatismes, il se compose de 3 éléments graphiques : étape : correspond à une séquence (état spécifique de la machine au cours de laquelle le système est invariant). A chaque étape, on associe des actions : Une étape est soit active, soit inactive. A un instant donné, la situation de l'automatisme est entièrement définie par l'ensemble des étapes actives. L'exécution de certaines actions peut être soumise à des conditions logiques liées à des variables d'entrée ou aux états d'autres étapes appelée étape conditionnelle transition : Elle sépare deux étapes successives. On lui associe une réceptivité (une équation logique). La réceptivité associée à une transition peut faire intervenir, outre les variables d'entrée, le caractère actif ou inactif de certaines étapes. Une réceptivité toujours vraie est écrite =1