Индикаторы изменений

Помимо темпоральной логики, на переходах могут быть заданы индикаторы изменений.

Индикаторы изменений — это условия, которые определяют, когда можно выполнить переход из одного состояния в другое. Представлены следующие индикаторы:

hasChanged(variable) — проверяет, изменилось ли значение переменной на текущем шаге, и если да, то позволяет выполнить переход;
hasChangedFrom(variable, oldValue) — проверяет, изменилась ли переменная с заданного oldValue на любое другое значение;
hasChangedTo(variable, newValue) — проверяет, изменилось ли значение переменной на конкретное новое значение newValue.