R9 - woven-planet/opensafety-mbse GitHub Wiki

R9 / 1:M

Conduit flows traffic through one or many Unidirectional Lane

Unidirectional Lane is a partial flow of traffic in one Conduit

---

By definition, a Conduit is a flow of traffic in one direction. It is a collection of adjacent Unidirectional Lanes all flowing traffic in the same direction.

Formalization

Unidirectional Lane.(Conduit role, Road segment) -> Conduit.(Role, Road segment)