Динамические правила SFC

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

Начальная ситуация

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

Освобождение перехода

Переход либо разрешен,

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

- он не разрешен и

- соответствующее условие перехода не true.

Изменение состояния активного шага

Освобождение перехода одновременно ведет к активному состоянию непосредственно следующего шага и пассивному состоянию непосредственно предшествующего шага.

Одновременное освобождение переходов

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

Одновременная активизация и дезактивация шага

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

Содержание Назад Вперед