8 Research on the Generation of Train Movement Authority Based on Petri Net Available to Purchase

Aiming at the questions of the standardized design of Movement Authority in high-speed train control system, this paper proposed a model of Movement Authority based on the generation of Movement Authority principle of RBC in the CTCS-3 Train Control System. We model the generation process of Movement Authority under the RBC handover mode, which can be achieved dynamic simulation by CPN tools. Finally we can verify the correctness of the principle Movement Authority generate and analyze its performance. This design for the Movement Authority Module provides a standardized method of software design and verification, and then can ensure the RBC control trains normally.