Modeling and Analysis of Switching Process of Train Control System Based on UML and HTCPN

With the continuous advancement of the construction of urban modernization in China, the collaborative operation of multi-standard rail transit lines has become a hot research topic in railway signaling systems. This article analyzes the characteristics of CTCS-2(Chinese Train Control System Level 2) and CBTC (Communication Based Train Control System), constructs a scheme for switching from CTCS-2 to CBTC, and studies the layout of switching scenarios and switching process. The process of information transmission in the switching process is simulated by combining UML (Unified Modeling Language) and HTCPN (Hierarchical Time Colored Petri Nets), and the model is simulated and verified by CPN Tools. The simulation results show that the combination of UML and HTCPN models is feasible, and the constructed model can meet the real-time requirements of the system.