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

摘要：

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

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

分类号：U284(铁路通信、信号)

在线出版日期：2015-04-27（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：266-270