Динамические правила языка SFC.

В этом языке есть динамические правила, которым подчиняется логика выполнения программ:

1. В каждой программе должен присутствовать, по крайней мере, один шаг инициализации, который в начале выполнения программы находится в активном состоянии. Могут быть установлены начальные значения переменных

2. Правило выполнения перехода. Переход происходит, если выполняются два условия: 1) все шаги, предшествующие переходу должны быть активны; 2) условие перехода истинно. Если одно из условий не выполняется, переход не может быть произведен.

3. Правило изменения состояния активности шагов. Выполнение переходов немедленно приводит к активному состоянию непосредственно следующих за ним шагов и неактивному состоянию непосредственно предшествующих шагов.

4.
Если во время выполнения программы шаг одновременно активизирован и деактивизирован приоритет отдаётся активизации.

Описание действий внутри шагов.

Описание действий выполняемых во время активности шага называют вторым уровнем шага SFC. Такое описание выполняется с использованием обычно языка ST (хотя и возможно использование и других языков) и дополнительных возможностей языка SFC так называемых текстовых возможностей. К ним относятся:

1) булевы действия

2) puls-действия

3) non-stored-действия

4) SFC-действия

Булевы действия

Они присваиваются булевой переменной значение активности шага.

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

Синтаксис основных булевых действий следующий:

<boolean_variable>(N) присваивает переменной сигнал активности шага

<boolean_variable>; тот же самый эффект (атрибут N является необязательным)

/<boolean_variable>; присваивает переменной отрицание сигнала активности шага

<boolean_variable>(S) устанавливает переменную в TRUE, когда сигнал активности шага становится TRUE.

<boolean_variable>(R) сбрасывает переменную в FALSE, когда сигнал активности шага становится TRUE

Временные диаграммы, поясняющие принцип работы

PULS-действия

Это список команд на языке ST или IL, которые выполняются только один раз в момент активизации шага.

Синтаксис описания puls-действий

ACTION(P);

Операторы языка ST или IL;

END_ACTION;