Xiangxian, Chen; Yulin, He; hai, Huang - In: Mathematics and Computers in Simulation (MATCOM) 81 (2011) 9, pp. 1892-1900
Writing interlocking logic is an important part of designing a railway interlocking system. In this paper a new method which increases the efficiency of writing interlocking logic is introduced. That is describing interlocking rules and station topology separately, and producing interlocking...