A platform for research: civil engineering, architecture and urbanism
A platform for research: civil engineering, architecture and urbanism
Evaluating the Safety Control Scheme of Railway Centralized Traffic Control (CTC) System with Coloured Petri Nets
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.
Evaluating the Safety Control Scheme of Railway Centralized Traffic Control (CTC) System with Coloured Petri Nets
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.
Evaluating the Safety Control Scheme of Railway Centralized Traffic Control (CTC) System with Coloured Petri Nets
Tao Zhang (author) / Xieting Li (author) / Daohua Wu (author) / Hongwei Wang (author) / Jintao Liu (author) / Dalin Zhang (author)
2022
Article (Journal)
Electronic Resource
Unknown
Metadata by DOAJ is licensed under CC BY-SA 1.0
Traffic Signal Priority/Preemption Control with Colored Petri Nets
| British Library Conference Proceedings | 2005