计算机联锁的进路搜索Petri网模型分析

摘要：

进路搜索是计算机联锁软件中的重要部分.本文采用Petri网方法,通过对进路搜索Petri网模型的建立、分析、应用以及其可达性的验证,确保了联锁软件可靠性动态行为的正确性,提出了一些改进措施,有利于进一步分析和改进整个联锁系统的可靠性.

关键词：计算机联锁、进路搜索、Petri网、可靠性

分类号：G623.58(初等教育)

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

页数：共1页

页码：25