鉄道の閉塞色々、計算機の並列化の排他制御の元ネタだから、どっちかを元にどっちかを考えると分かりやすい？＞＜