Язык спецификаций GRAFCET используется для конструирования диаграмм grafcet, обеспечивающих графическое и синтетическое отображение алгоритма работы последовательных систем. Отображение (рисунок 2) может быть реализовано в форме:
- структуры, допускающей возможные эволюции между описываемыми ситуациями;
- интерпретации, определяющей связь между входными, выходными переменными и структурой (для реализации данной интерпретации необходимы правила эволюции, присвоения и локализации).
Символы, связанные с элементами GRAFCET, представляющие этапы процесса и связи между этапами, приведены и проиллюстрированы примерами в таблицах 1-4 раздела 5 настоящего стандарта.