Stateflow

Semantics of Transitions

Transitions play a large role in defining the animation or execution of a system. Transitions have sources and destinations; thus any actions associated with the sources or destinations are related to the transition that joins them. The type of the source and destination is equally important to define the semantics.

The examples provided in this chapter show how the semantics are defined.

Semantics of State Actions

Transitions to and from Exclusive (OR) States