|
|||||
|
|
| 计算机联锁的进路搜索Petri网模型分析 | |
| 引用本文： | 马鑫,董昱.计算机联锁的进路搜索Petri网模型分析[J].科技咨询导报,2007(7):25-25. |
| 作者姓名： | 马鑫 董昱 |
| 作者单位： | 兰州交通大学电子与信息工程学院 甘肃兰州730070 |
| 摘 要： | 进路搜索是计算机联锁软件中的重要部分。本文采用Petri网方法,通过对进路搜索Petri网模型的建立、分析、应用以及其可达性的验证,确保了联锁软件可靠性动态行为的正确性,提出了一些改进措施,有利于进一步分析和改进整个联锁系统的可靠性。 |
| 关 键 词： | 计算机联锁 进路搜索 Petri网 可靠性 |
| 文章编号： | 1673-0534（2007）03（a）-0025-01 |
| 本文献已被 CNKI 维普 等数据库收录！ | |