Analyzing the Delay Time of Train Entering Station Process with Petri Nets

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 to develop distributed interlocking system. To standardize operations of devices in distributed railway signaling system, this article takes the process of train entering the station as the focal point and models it with GSPN. To ensure the model safety, the structural properties are verified with the reachability set. Finally, the relationship between the throughput ability of station and parameters of system delay time are analyzed, including the time of route request, the interval of train request, and the polled time in station. In addition the standard operation time of devices is evaluated.