R201 - woven-planet/opensafety-mbse GitHub Wiki

R201 / 1:1

Intersection Entrance Reconfiguration Role is fulfilled by exactly one Intersection Entrance Lane

Intersection Entrance Lane fulfills exactly one Intersection Entrance Reconfiguration Role

---

TBD

Formalization

Intersection Entrance Reconfiguration Role.(Inside division, Outside division, Road segment) ->
    Intersection Entrance Lane.(Inside division, Outside division, Road segment)