Язык спецификаций GRAFCET позволяет создать диаграмму grafcet, показывающую ожидаемое поведение рассматриваемой последовательной системы. Этот язык характеризуется, главным образом, его графическими элементами, которые, будучи связанными с буквенно-цифровым выражением переменных, обеспечивают синтетическое представление об алгоритме работы на основе косвенного описания ситуации в системе.
Описание алгоритма работы в состояниях заключается в следующем: "односимвольные" состояния соответствуют ситуациям диаграммы grafcet, подразумевающим уникальность ситуации в данный момент. Состояния соединены друг с другом посредством условия эволюции, что позволяет описывать переход от одной ситуации к другой ситуации.
Из соображений удобства описание поведения системы на основе состояний целесообразнее заменить описанием на основе этапов. На диаграмме grafcet могут быть активны одновременно несколько этапов, тогда ситуация будет характеризоваться совокупностью активных этапов в рассматриваемый момент. Эволюция одной совокупности этапов к другой осуществляется посредством одного или нескольких переходов, каждый из которых характеризуется:
- его предыдущими этапами;
- его последующими этапами;
- ассоциированным с ним условием перехода.
Примечание - Указанные причины приводят к правилу синтаксиса, определяющего чередование этап-переход.