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

• 作者: 董昱 马鑫
• 来源期刊: 科技咨询导报
• 学科: 教育
• 关键词: 计算机联锁 进路搜索 Petri网 可靠性
• 年，卷（期）: 2007,（7）
• 所属期刊栏目: IT技术
• 页码范围: 25
• 页数: 1页
• 分类号: G623.58
• 字数: 1843字
• 语种: 中文
• DOI: 10.3969/j.issn.1674-098X.2007.07.023

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	董昱	兰州交通大学电子与信息工程学院	75	556	12.0	19.0
2	马鑫	兰州交通大学电子与信息工程学院	2	44	2.0	2.0