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

• 工程与应用 • 上一篇    

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

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

  1. 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. 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网对进路建立的具体过程进行形式化建模,时间戳可以得知联锁设备的精确动作时刻以及操作持续时间,通过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