Skip to content

Modeler_audit_rules_R2940

Jump to bottom
Antonin Abhervé edited this page Sep 3, 2020 · 1 revision

R2940

Summary

All transitions coming into a join vertex must originate from different regions of an orthogonal state.

Details

Regions of an orthogonal state are concurrent flows, so a join vertex should only have sources in different regions.

Tips

If you have a join vertex with sources in the same region, you should delete one of the transitions or make another region.

Clone this wiki locally