Conditions
A condition is a Boolean expression specifying that a transition occurs, given that the expression is true. Each transition and segment of a transition can have a condition.
You can specify conditions as block diagrams (in separate diagrams) or in ESDL (in separate diagrams or directly at the transition).
Conditions can also have arguments for communication with other ASCET components. You can find more on this in State Machines as Classes and in Communication with Other Components.
See also