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
Research on Energy-Saving Optimal Control for Trains in a Following Operation under a Moving Autoblock System Based on GA
International Conference on Computer Engineering and Technology, 3rd (ICCET 2011)
A Method for Reducing the Number of Training Samples in KNN Text Classification
International Conference on Information Technology and Computer Science, 3rd (ITCS 2011)
Characteristics of Suitable Drive Train for Electric Vehicle
International Conference on Instrumentation, Measurement, Circuits and Systems (ICIMCS 2011)
Detection of Harmful Insects Based on Gray-Level Cooccurrence Matrix (GLCM) in Rural Areas Mehdi Ebadi
International Conference on Computer Technology and Development, 3rd (ICCTD 2011)
Related Articles
Prediction of Railway-Induced Ground Vibrations in
Tunnels
J. Vib. Acoust (October,2005)
A Scientific Approach to the Process Development Bonded Attachments for High-Speed Rotor Application
J. Eng. Gas Turbines Power (January,2002)
Component Synthesis of Multicase, Rotating Machinery Trains by the Generalized Receptance Approach
J. Eng. Power (October,1983)