R2790¶
Summary¶
Transitions from one region to another, in the same enclosing state, are
forbidden.
Details¶
Regions in a state are concurrent flows, therefore there cannot be any
transitions between these regions.
Tips¶
If you have a transition between two regions of the same state, remove it.