基于Petri网的联锁系统进路处理过程建模 |
| |
引用本文: | 王春成.基于Petri网的联锁系统进路处理过程建模[J].科技信息,2013(11):97-98. |
| |
作者姓名: | 王春成 |
| |
作者单位: | 西安铁路局,陕西西安710000 |
| |
摘 要: | 本文采用有Petri网对铁路信号计算机联锁系统的进路控制过程进行建模,确保系统逻辑定义的一致性、完整性和精确性,并对所建立的模型进行仿真,以验证所建模型的性质。结果表明该方法在系统设计阶段可以提高系统的安全性和可靠性。
|
关 键 词: | 联锁系统 进路处理过程 Petri网 |
本文献已被 维普 等数据库收录! |
|