Research on formal modeling based on CPN for movement authority of high-speed railway CTCS-3 | |
Zhao, Shuxu1,2; Wang, Xiaoming1; Zhang, Ailing2 | |
2012 | |
会议日期 | August 16, 2012 - August 18, 2012 |
会议地点 | Taiyuan, China |
关键词 | Control systems Rails Application functions Colored petri net Colored Petri Nets Computation model Formal model Formal modeling High-speed railways Movement authority Train control Train control systems Train movement |
卷号 | 220-223 |
DOI | 10.4028/www.scientific.net/AMM.220-223.2783 |
页码 | 2783-2787 |
英文摘要 | Train Movement Authority(MA) concerns train movement safety. This paper proposed a formal model for Chinese Train Control System-3(CTCS-3) based on train MA. Paper analyzed the rounded CTCS-3, formed MA computation models for various application functions, and finished MA hierarchical and functional computation models based on Colored Petri Nets(CPN). The results of experiment demonstrates that the model proposed in this paper is effective, it can reflect the whole information change and transmission process of CTCS-3 accurately, and can help to design and develop MA of CTCS-3. © (2012) Trans Tech Publications, Switzerland. |
会议录 | Applied Mechanics and Materials
![]() |
会议录出版者 | Trans Tech Publications, P.O. Box 1254, Clausthal-Zellerfeld, D-38670, Germany |
语种 | 英语 |
ISSN号 | 16609336 |
内容类型 | 会议论文 |
源URL | [http://ir.lut.edu.cn/handle/2XXMBERH/116403] ![]() |
专题 | 兰州理工大学 |
作者单位 | 1.School of Mechanical and Electrical Engineering, Lanzhou University of Technology, Lanzhou, China; 2.School of Electric and Information Engineering, Lanzhou Jiaotong University, Lanzhou, China |
推荐引用方式 GB/T 7714 | Zhao, Shuxu,Wang, Xiaoming,Zhang, Ailing. Research on formal modeling based on CPN for movement authority of high-speed railway CTCS-3[C]. 见:. Taiyuan, China. August 16, 2012 - August 18, 2012. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论