Динамические правила SFC
Вот пять динамических правил языка SFC:
Начальная ситуация характеризуется начальными шагами, которые, по определению, находятся в активном состоянии в начале работы. По крайней мере, один начальный шаг должен быть в каждой SFC программе.
Переход либо разрешен,
либо запрещен. Говорят, что переход разрешен, если все непосредственно предшествующие шаги, связанные с соответствующим символом перехода, активны, в противном случае, переход запрещен. Переход не может быть освобожден, если :
- он не разрешен и
- соответствующее условие перехода не true.
Освобождение перехода одновременно ведет к активному состоянию непосредственно следующего шага и пассивному состоянию непосредственно предшествующего шага.
Для того чтобы определить переходы, которые должны освобождаться одновременно, могут быть использованы двойные линии. Если такие переходы изображены отдельно, то активное состояние предшествующих шагов (GSnnn.x) может быть использовано, чтобы выразить их условия.
Если во время работы шаг одновременно активизируется и дезактивируется, о приоритет отдается активизации.
