-
Notifications
You must be signed in to change notification settings - Fork 114
Modeler_audit_rules_R2940
Antonin Abhervé edited this page Sep 3, 2020
·
1 revision
All transitions coming into a join vertex must originate from different regions of an orthogonal state.
Regions of an orthogonal state are concurrent flows, so a join vertex should only have sources in different regions.