R200 - woven-planet/opensafety-mbse GitHub Wiki

R200 / 1:1

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

Intersection Exit Lane fulfills exactly one Intersection Exit Reconfiguration Role

---

TBD

Formalization

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