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

计算机工程与应用 ›› 2015, Vol. 51 ›› Issue (8): 266-270.

• 工程与应用 • 上一篇

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

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

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

出版日期:2015-04-15 发布日期:2015-04-29

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

摘要/Abstract

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

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

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

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

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]	冯复剑. 延迟时间Petri网的验证分析[J]. 计算机工程与应用, 2019, 55(4): 72-78.
[2]	董健，戴胜华. 基于CPN的列控系统等级转换建模与分析[J]. 计算机工程与应用, 2018, 54(2): 208-213.
[3]	杨诚1，项勇1，张立刚2，刘泽平1. 基于DoDAF和Petri网的预警作战体系研究[J]. 计算机工程与应用, 2015, 51(5): 44-49.
[4]	王瑞峰1，李媛1，程金山2. 基于CPN的等级转换场景建模分析[J]. 计算机工程与应用, 2015, 51(10): 266-270.
[5]	郑文艳. 基于CPN的物流配送系统模型正确性的证明[J]. 计算机工程与应用, 2013, 49(11): 228-231.
[6]	范玉涛1，苏桂平2. 一种适于带时间戳安全协议的形式化分析方法[J]. 计算机工程与应用, 2012, 48(36): 116-120.
[7]	李沛武1，雷金娥2. 有色Petri网的扩展使用控制策略模型设计[J]. 计算机工程与应用, 2012, 48(33): 96-100.
[8]	张友鹏，权海宁. 新型分布式全电子计算机联锁系统研究[J]. 计算机工程与应用, 2012, 48(24): 187-191.
[9]	黄光球，李艳，王金成. 双枝模糊时间Petri网可修复网络攻击模型[J]. 计算机工程与应用, 2011, 47(5): 87-91.
[10]	黄光球，王金成. 具有动态可靠性的模糊时间Petri网攻击模型[J]. 计算机工程与应用, 2010, 46(18): 110-115.
[11]	杜军威,徐中伟,王树梅. 联锁逻辑模型的安全性分析[J]. 计算机工程与应用, 2007, 43(2期): 1-1.

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

Timed colored petri nets modeling and simulation of route building process

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 11

编辑推荐

Metrics