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

摘要

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