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.