Coloured Petri Net Based Modeling Of Zone Controller Subsystem Handover Function

Communication Based Train Control (CBTC) system is an important development direction in China, and also an important Train Control developing technology in Chinese railway. Petri Nets is an informal theory which developed very fast in recent years. Colored Petri Nets combined the Petri Nets advantages with the senior programing language advantages, and used extensively in many domains by its graphic and intuitionistic express, good syntax and strong function in analysis.On the basis of analyzing the principle and structure of CBTC system, the principle and fuction of Zone Controller subsystem is introduced in this paper, especially the handover process.The paper mainly makes Zone Controller subsystem model by Coloured Petri Nets language and CPN Tools, and then analyzes the performance of the system by simulation and verification method. We build the model by hierarchy Petri Net, use the Occurrence Graph and State Space to analyze the stability and verification of the system. Using Timed Petri Net analyzed the time transiton about messages which is determined by the network time delay and the response time of the system. At last we can get the conclusion that system can handover in security.