.ModelicaReference.Operators.'transition()'

Information

This operator defines a transition in a state machine.

Syntax

transition(from, to, condition, immediate, reset, synchronize, priority)

Description

This operator defines a transition from instance from to instance to. The from and to instances become states of a state machine. The transition fires when condition = true if immediate = true (this is called an immediate transition) or previous(condition) when immediate = false (this is called a delayed transition). Argument priority defines the priority of firing when several transitions could fire. In this case the transition with the smallest value of priority fires. It is required that priority is greater or equal to 1 and that for all transitions from the same state, the priorities are different. If reset = true, the states of the target state are reinitialized, i.e. state machines are restarted in initial state and state variables are reset to their start values. If synchronize=true, any transition is disabled until all state machines of the from-state have reached final states, i.e. states without outgoing transitions.

Arguments from and to are block instances and condition is a Boolean argument. The optional arguments immediate, reset, and synchronize are of type Boolean, have parametric variability and a default of true, true, false respectively. The optional argument priority is of type Integer, has parametric variability and a default of 1.