基于Petri网的联锁系统进路处理过程建模  

作　　者：王春成[1] 

机构地区：[1]西安铁路局,陕西西安710000

出　　处：《科技信息》2013年第11期97-98,共2页Science & Technology Information

摘　　要：本文采用有Petri网对铁路信号计算机联锁系统的进路控制过程进行建模,确保系统逻辑定义的一致性、完整性和精确性,并对所建立的模型进行仿真,以验证所建模型的性质。结果表明该方法在系统设计阶段可以提高系统的安全性和可靠性。

关 键 词：联锁系统 进路处理过程 PETRI网 

分 类 号：U284.362[交通运输工程—交通信息工程及控制]