Research on formal modeling based on CPN for movement authority of high-speed railway CTCS-3

doi:10.4028/www.scientific.net/AMM.220-223.2783

CORC > 兰州理工大学 > 兰州理工大学

	Research on formal modeling based on CPN for movement authority of high-speed railway CTCS-3
	Zhao, Shuxu 1,2; Wang, Xiaoming 1; Zhang, Ailing 2
	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.