Язык Sequential Function Chart (SFC)

Теория конечных автоматов, используемая для формализации состояний сложных процессов управления, опирается на различные графические модели описания состояний. Одной из наиболее известных является модель, предложенная К. Петри, получившая название «Сетей Петри» или диаграммы состояний. Она послужила теоретической основой языка SFC как наиболее важного из всего семейства стандартных языков.

Язык последовательных функциональных схем (Sequential Function Charts, или Grafcet) позволяет формулировать логику программы на основе чередующихся процедурных шагов и транзакций (условных переходов), а также описывать последовательно-параллельные задачи в понятной и наглядной форме.

Строго говоря, SFC не является языком программирования. Это средство проектирования прикладного программного обеспечения, которое всегда является комплексом большого числа программных единиц: программ, функциональных блоков, функций. Обеспечение параллельности выполнения программ, установление и контроль состояния порожденных процессов, обеспечение синхронизации по приему и обработке данных, описание однозначно понимаемых и заказчиком, и исполнителем состояний автоматизируемого процесса – все это возможно при использовании «языка программирования» SFC. Однако, SFC не имеет средств для описания шагов и переходов, которые могут быть выражены только средствами других языков стандарта IEC. Происхождение: Grafcet (Schneider).

Графическое описание последовательностных операций управляющих систем, а также различных встречающихся ситуаций выполняется с использованием простейших графических символов.

Операции, связанные с шагами, обозначаются в общей форме типа «что должно быть сделано», когда шаги активированы. В частности, они описывают порядок, по которому они должны быть посланы в приложение (автоматизированный процесс) или в другие автоматизированные системы. Последовательность активизированных шагов в любой заданный момент времени определяет ситуацию в диаграмме языка SFC.

Переходы и директивные (командные) связи представляются в символической форме возможных продвижений активированных шагов.