Distributed Interlocking System and Its Safety Verification
Xinhong Hei, Satoshi Takahashi, H. Nakamura · 2006
Computerized interlocking systems have been studied for many years. Available interlocking systems mainly are centralized control systems. The great progress of distributed control technology and intelligent terminals make it possible developing distribute interlocking system. In this research, a distributed interlocking system and its control logic are put forward. As the most important property of interlocking system, system logic safety has been verified by using Petri net. The result shows that the new interlocking system is safe and its logic is correct