|
Independancy of Events | 
|
The change of a variable is not effective at once, but after all events of the same moment were handled.
By this means, event conditions and algebraic expressions in events are not influenced by the execution of other events.
Completely independent of the order of execution, events always yield the same identical result that is the the same follow-up state.
| 1 | 1 |
Example: Change of Place
STATE VARIABLES
X (INT) := 1,
Y (INT) := 2
Y (INT) := 2
WHENEVER T >= 10 AND X < Y
DO
X^ := Y;
Y^ := X;
Y^ := X;
END
The execution of the event results in a swap of the variables X and Y.
The check mark behind the variable signifies that the value change due to the event is in effect in a follow-up state.
This follow-up state is virtually infinitesimal after the point in time that triggered the event.
