Timed colored petri nets modeling and simulation of route building process

Computer Engineering and Applications ›› 2015, Vol. 51 ›› Issue (8): 266-270.

Timed colored petri nets modeling and simulation of route building process

QIN Fayuan1, DAI Shenghua1, XU Yu2

1.School of Electronic and Information Engineering, Beijing Jiaotong University, Beijing 100044, China
2.Beijing National Railway Research & Design Institute of Signal & Communication Co., Ltd, Beijing 100073, China

Online:2015-04-15 Published:2015-04-29

进路建立过程的时间有色petri网建模与仿真

秦发园1，戴胜华1，徐昱2

1.北京交通大学电子信息工程学院，北京 100044
2.北京全路通信信号研究设计院有限公司，北京 100073

Abstract

Abstract: Computer interlock software as core controlled software of computer interlocking system, its high reliability and security are needed to establish above good safe model. It proposes that using timed colored Petri nets to build a formal modeling on route building process. Timestamp can tell precise action moment and operation duration time of interlock equipment. Through CPN Tools it edits and simulates, and validates through VC++6.0 development environment complete code, reflects the logic and performance property of timed colored Petri nets, so as to detect design errors or defects as early as possible, highlighs the reliability and security of timed colored Petri nets.

Key words: computer interlocking, colored Petri net, timed Petri net, CPN Tools

摘要： 计算机联锁软件作为计算机联锁系统的核心主控软件，可靠性和安全性需建立在好的安全模型之上，提出了采用时间有色Petri网对进路建立的具体过程进行形式化建模，时间戳可以得知联锁设备的精确动作时刻以及操作持续时间，通过CPN Tools进行编辑和仿真，以VC++6.0为开发环境完成代码编写进行验证，体现时间有色Petri网描述联锁系统逻辑和性能特性的特点，以便在软件开发初期尽早发现系统的设计错误或缺陷，突出采用时间有色Petri网建模的可靠性和安全性。

关键词: 计算机联锁, 有色Petri网, 时间Petri网, CPN Tools

QIN Fayuan1, DAI Shenghua1, XU Yu2. Timed colored petri nets modeling and simulation of route building process[J]. Computer Engineering and Applications, 2015, 51(8): 266-270.

秦发园1，戴胜华1，徐昱2. 进路建立过程的时间有色petri网建模与仿真[J]. 计算机工程与应用, 2015, 51(8): 266-270.

[1]	LU Wenxing, WANG Hupo, WANG Binyou. Research on Tourist Diversion in Scenic Spots Based on Timed Petri Net [J]. Computer Engineering and Applications, 2020, 56(8): 241-248.
[2]	DONG Jian, DAI Shenghua. Modeling and formal analysis of level transition based on colored Petri nets [J]. Computer Engineering and Applications, 2018, 54(2): 208-213.
[3]	YANG Cheng1, XIANG Yong1, ZHANG Ligang2, LIU Zeping1 . Research on system of missile early-warning combat based on DoDAF and Petri net [J]. Computer Engineering and Applications, 2015, 51(5): 44-49.
[4]	HU Xiaohui, WANG Zhenqiang, CHEN Yong. Hybrid modeling method on train-to-ground communication scenario [J]. Computer Engineering and Applications, 2015, 51(16): 228-233.
[5]	WANG Ruifeng1, LI Yuan1, CHENG Jinshan2. Analysis on level transition scenario modeling based on CPN [J]. Computer Engineering and Applications, 2015, 51(10): 266-270.
[6]	ZHENG Wenyan. Performance simulation of uncertainty inventory based on colored petri nets [J]. Computer Engineering and Applications, 2014, 50(22): 250-255.
[7]	ZHENG Wenyan. Research of test case generation method based on colored Petri nets [J]. Computer Engineering and Applications, 2014, 50(11): 39-45.
[8]	LIU Yonglei1，2, JIN Zhigang3. Security analysis of WPS in WLAN [J]. Computer Engineering and Applications, 2013, 49(21): 87-89.
[9]	FAN Yutao1, SU Guiping2. Formal analysis method suitable to security protocols with timestamp [J]. Computer Engineering and Applications, 2012, 48(36): 116-120.
[10]	LI Peiwu1, LEI Jin’e2. Extended usage control strategy model based on colored Petri net design [J]. Computer Engineering and Applications, 2012, 48(33): 96-100.
[11]	ZHANG Youpeng, QUAN Haining. Research of novel distributed all electronic computers interlocking system [J]. Computer Engineering and Applications, 2012, 48(24): 187-191.
[12]	HAN Zhaochao，HUANG Shucai. Modeling of union ATBM system based on colored Petri nets [J]. Computer Engineering and Applications, 2011, 47(6): 235-238.
[13]	HUANG Guangqiu，LI Yan，WANG Jincheng. Repairable both-branch fuzzy timed petri net-based network attack model [J]. Computer Engineering and Applications, 2011, 47(5): 87-91.
[14]	PENG Lei^1,2,BI Ya-lei²,ZENG Jia-zhi¹. Novel service-oriented protocol architecture of WSN [J]. Computer Engineering and Applications, 2009, 45(5): 104-107.
[15]	CHEN Liang，CAI Hong-ming，JIANG Li-hong. Application of sorting cluster algorithm in OOCTPN modeling [J]. Computer Engineering and Applications, 2009, 45(23): 200-202.