Indicators of change
In addition to temporal logic, change indicators can be set on transitions.
Change indicators are conditions that determine when a transition from one state to another can be performed. The following indicators are provided:
-
hasChanged(variable)- checks whether the value of a variable has changed in the current step, and if so, allows the transition to be executed;
-
hasChangedFrom(variable, oldValue)- checks if the variable has changed from the given oldValue to any other value;
-
hasChangedTo(variable, newValue)- checks if the variable value has changed to a specific new value newValue.