Modeling And Analysis For Train Controlling System With Petri Nets

Safety and efficiency are eternal themes for railway transportation. Train control system is an important system for the development high speed railway transportation, which also an important factor for the guarantee of this two themes. Further research on train control system will greatly contribute the modernization of Chinese railway.This paper discussed the structure and functions of train control system in details, analyzed and did some research on several models of train control system. For the purpose of learning and reference, this paper analyzed the train control system of Japan and European countries, which will benefit the R&D of train control system suitable for China.For systematic research and design, setting up a model is an important method. With the function of immediacy and effectiveness, Petri Network make it easy for system designer and developer to analyzes and set up model for practice matters. With its strong mathematic function, and the ability to analyze the special features of software and hardware, the paper used Petri Net setting up models for train control system, and analyzed its Reachability, Safeness and Boudedness.