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

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