机器人导航系统Petri网模型及其死锁检测

摘要：

智能机器人的导航系统由若干具有独立问题求解能力的子系统组成,整个系统存在多个环节及并发流程.用Petri网描述各环节的工作并构建该导航系统的模型,利用”可达树死锁标识检测算法”和”初始标识可达性判断算法”检测该Petri网中不含死锁标识和死变迁,并且可达标识均可回到初始标识.

关键词： Petri网 死锁 智能机器人

作者: 符意德 卢波 孙晔

作者单位: 南京理工大学,计算机科学与技术学院,江苏,南京,210094

会议类型: 国内会议

会议名称: 2006年全国第六届嵌入式系统学术年会

会议地点: 西安

会议语种:中文

页码: 540-542,580

在线出版日期: 2006-11-01（万方平台首次上网日期，不代表论文的发表时间）