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.