R4 - woven-planet/opensafety-mbse GitHub Wiki

R4 / 1:1

Two Way Road Segment has reverse flow of traffic defined by one Reverse Paired Conduit

Reverse Paired Conduit defines reverse flow of traffic on one Two Way Road Segment

---

See the description for R2.

Formalization

Reverse Paired Conduit.Road segment -> Two Way Road Segment.ID