Nommage des entrées/sorties (IOs)
Lors de l'établissement du grafcet de spécification, l'utilisation de noms explicites pour les entrées du système modélisé (en général la partie commande d'un système de contrôle, les actions sont donc les comptes-rendus de la partie opérative ainsi que les consignes venant de l'opérateur) ainsi que pour les sorties (les actions ou ordres émis vers la partie opérative mais aussi les visualisations vers l'opérateur). Lors du passage au grafcet de réalisation, on utilise plutôt des noms logiques pour les entrées/sorties du système.
Par convention, les entrées seront rangées dans un vecteur (le vecteur d'entrée) et nommées Ei où i est le rang de l'entrée considérée dans le vecteur d'entrée. De même les sorties seront rangées dans un vecteur (le vecteur de sortie) et nommées Si où i est le rang de la sortie considéré dans le vecteur de sortie.
Par la suite on utilisera ces notations Ei et Si afin de désigner les entrées et les sorties de la partie commande pour des commodités d'écriture. La figure suivante montre un exemple de nommage symbolique des entrées/sorties pour le grafcet précédent.