Skip Nav Destination
ASME Press Select Proceedings
International Conference on Mechanical Engineering and Technology (ICMET-London 2011)Available to Purchase
Editor
Garry Lee
Garry Lee
Information Engineering Research Institute
Search for other works by this author on:
ISBN:
9780791859896
No. of Pages:
906
Publisher:
ASME Press
Publication date:
2011
eBook Chapter
8 Research on the Generation of Train Movement Authority Based on Petri Net Available to Purchase
By
Jianwu Dang
,
Jianwu Dang
Organization Department of Personnel,
Lanzhou Jiaotong University
, Lanzhou, Gansu, 730070
, China
Search for other works by this author on:
Ailing Zhang
,
Ailing Zhang
School of Automation and Electrical Engineering,
Lanzhou Jiaotong University
, Lanzhou, Gansu, 730070
, China
Search for other works by this author on:
Shuxu Zhao
Shuxu Zhao
School of Electronic and Information Engineering,
Lanzhou Jiaotong University
, Lanzhou, Gansu, 730070
, China
Search for other works by this author on:
Page Count:
4
-
Published:2011
Citation
Dang, J, Zhang, A, & Zhao, S. "Research on the Generation of Train Movement Authority Based on Petri Net." International Conference on Mechanical Engineering and Technology (ICMET-London 2011). Ed. Lee, G. ASME Press, 2011.
Download citation file:
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.
Topics:
Trains
Abstract
Keywords
Introduction
1 Movement Authority Generation Principle
2 Formal Modeling Language-Colored Petri Net
3 Based on Petri Nets of Formal Modeling
4 Summaries
References
This content is only available via PDF.
You do not currently have access to this chapter.
Email alerts
Related Chapters
Application of Probabilistic Methods for the Evaluation of Deterministic Deviations from Technical Specifications (PSAM-0277)
Proceedings of the Eighth International Conference on Probabilistic Safety Assessment & Management (PSAM)
Study on the PSA Model Considering the Symmetrization of Operational Train Patterns and Loops Affected by Initiating Events (PSAM-0119)
Proceedings of the Eighth International Conference on Probabilistic Safety Assessment & Management (PSAM)
Boosting Classification Accuracy with Samples Chosen from a Validation Set
Intelligent Engineering Systems Through Artificial Neural Networks, Volume 17
User-Interactive Futuristic Displays Based on PIC Microcontroller
International Conference on Computer and Computer Intelligence (ICCCI 2011)
Related Articles
Prediction of Railway-Induced Ground Vibrations in
Tunnels
J. Vib. Acoust (October,2005)
Railroad Vehicle Dynamics—A Roadmap to High Speed Trains
J. Comput. Nonlinear Dynam (October,2012)
Multidimensional Approximation of Nonlinear Dynamical Systems
J. Comput. Nonlinear Dynam (June,2019)