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

• 作者: 徐昱 戴胜华 秦发园
• 来源期刊: 计算机工程与应用
• 学科: 交通运输
• 关键词: 计算机联锁 有色Petri网 时间Petri网 CPN Tools
• 年，卷（期）: 2015,（8）
• 所属期刊栏目: 工程与应用
• 页码范围: 266-270
• 页数: 5页
• 分类号: U284
• 字数: 1922字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1306-0167

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	戴胜华	北京交通大学电子信息工程学院	42	398	12.0	18.0
2	徐昱		2	8	1.0	2.0
3	秦发园	北京交通大学电子信息工程学院	1	8	1.0	1.0