基于Petri网的机器人导航系统性能分析

• 作者: 卢波 孙晔 符意德
• 来源期刊: 航空计算技术
• 关键词: 机器人 Petri网 性能分析
• 年，卷（期）: 2007,（4）
• 所属期刊栏目: 计算机应用
• 页码范围: 98-100
• 页数: 3页
• 分类号: TP31
• 语种: 中文
• DOI: 10.3969/j.issn.1671-654X.2007.04.029

摘要

智能机器人的导航系统中存在着多个环节及并发流程,需要对导航系统中是否存在死锁进行检测.基于该导航系统的Petri网模型,采用Petri网死锁检测算法,判定机器人导航系统Petri网中不存在叶节点,即无死锁标识,也不存在死变迁,且不存在广义标识.并判定从任一可达标识均可到达初始标识.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	符意德	南京理工大学计算机科学与技术学院	23	174	8.0	12.0
2	卢波	南京理工大学计算机科学与技术学院	5	16	2.0	4.0
3	孙晔	南京理工大学计算机科学与技术学院	2	2	1.0	1.0