Basic notions
Segments: capability to use track in one direction
A connector at end end
seg1.from = con1
seg3.from – seg4.from
Overlap: model crossings of segments
seg5 in seg6.overlaps means that seg5 and seg6
cross
Gates: some segments have gates at the end, which
may be open or closed
Train: occupy segments (ignore position)