transition (Diagram)
A transition between two states.
Syntax
A transition consists in a source state, a target state, a condition to fire the transition and possibly an action on the transition. The condition is an expression (true by default) and the action is defined by a scope.
Three properties need to be specified on a transition :
- its priority: the transition with the lowest priority is fired if several
transitions can be fired at a given step
- its kind: weak or strong. Indicates if the transition is evaluated before
(strong) or after (weak) the active state. See automaton
semantics for more details.
transition type representation weak transition 
strong transition 
- its target state: whether to restart (default) or resume the target state.
target state representation restart: the target state is restarted 
resumed: the target state is kept in the state it was, the last time it was evaluated 
Constraints
-
Type
expr is a Boolean expression.
-
Causality
Each flow defined on a transition depends instantaneously on all the flows in the expr conditions
-
Initialization
All expr in conditions must have their first value defined at the first step of their activation.