R213 - woven-planet/opensafety-mbse GitHub Wiki

R213 / 1:1

Split Entrance Lane is start of exactly one Split

Split starts at exactly one Split Entrance Lane

---

A Split reconfiguration consists of multiple components, but starts with a single entrance lane which leads to all of the other reconfiguration components.

Formalization

Split Entrance Lane.(LR ID, Road segment) -> Split.(LR ID, Road segment)

Since these two attributes are shared with R205, we ensure that all component Driving Lanes are part of the same Split.