R53

R53 / 1c:M-1

Driving Lane flows traffic into intersection through zero or one Entrance Conduit Interface

Entrance Conduit Interface flows traffic into intersection from one or many Driving Lane

---

If a Driving Lane flows into an Intersection, it does so via an Entrance Conduit Interface. Since a Driving Lane terminates at this point (see Lane Reconfiguration Subsystem), it can flow into at most one Intersection. A Driving Lane might not flow into any Intersection as it can terminate in other ways, by merging into another lane, for example.

An Entrance Conduit Interface, by definition, flows traffic into an Intersection and can only do so if it is crossed by at least one Driving Lane.

NOTE: Unhandled edge case: The Road Subsystem model ensures that every Road Segment has at least one drive-able Lane which is either a Driving Lane (since R8 says every Conduit consists of at least one Driving Lane and both One Way and Two Way Road Segments are partitioned by Conduits). BUT, a Shared Road Segment has no Conduit and has a Shared Single Road Lane instead, which is a drive-able lane (but not modeled as a Driving Lane). Consequently, we have the possibility of a Shared Road Segment meeting an Intersection. Dangerous and probably rare, but still possible. Could there then be a different kind of Intersection Interface where a Shared Single Road Lane serves as both an entry and exit access?

Formalization

Intersection Entrance Lane.(Inside division, Outside division, Road segment) ->
    Driving lane.Inside division, Outside division, Road segment)
Intersection Entrance Lane.(Road segment, Conduit, Intersection) ->
    Entrance Conduit Interface.(Road segment, Conduit, Intersection)

Conduit {R53c}

= /R53/Driving Lane/R10/Unidirectional Lane.Conduit

Intersection Entrance Lane.Intersection -> Entrance Conduit Interface.Intersection