摘要：The Centralized Traffic Control (CTC) system plays an important role in ensuring safe and efficient rail transportation operations. It is mainly responsible for the implementation and adjustment of the train operation schedule through the automatic control of the station signalling equipment. The major task of the CTC system is to achieve a high rail transportation operation efficiency under the precondition of safety. For this purpose, it is necessary to select appropriate safety control schemes for the CTC system. In this paper, a formal approach is proposed to quantitatively evaluate the operation efficiencies of the CTC system with respect to different safety control schemes. The proposed approach adopts stochastic coloured Petri nets as the means of description for the system model, and evaluates the operation efficiency of the CTC system based on the data collected during the simulation of the system model. To exemplify the proposed approach, the safety control scheme of prohibiting a passenger train from passing a freight train through adjacent rail tracks between two adjacent stations is studied. The results of the case study show the feasibility of the proposed approach.
关键词：Centralized Traffic Control (CTC); rail transportation; safety control; operation efficiency; Petri nets
