Stateflow

Connective Junction Examples

The following examples demonstrate the use of connective junctions in Stateflow:

• Label Format for Transition Segments Example -- Shows the general label format for a transition segment.
• If-Then-Else Decision Construct Example -- Shows the behavior of an if-then-else decision construct using a connective junction.
• Self-Loop Transition Example -- Shows the behavior of a self-loop transition using a connective junction.
• For Loop Construct Example -- Shows the behavior of a for loop using a connective junction.
• Flow Diagram Notation Example -- Shows the behavior of a flow notation in a Stateflow diagram.
• Transitions from a Common Source to Multiple Destinations Example -- Shows the behavior of transitions from a common source to multiple conditional destinations using a connective junction.
• Transitions from Multiple Sources to a Common Destination Example -- Shows the behavior of transitions from multiple sources to a single destination using a connective junction.
• Transitions from a Source to a Destination Based on a Common Event Example -- Shows the behavior of transitions from multiple sources to a single destination based on the same event using a connective junction.
• Backtracking Behavior in Flow Graphs Example -- Shows the behavior of transitions with junctions that force back-tracking behavior in flow graphs.

Inner Transition to a History Junction Example

Label Format for Transition Segments Example