航空计算技术
航空計算技術
항공계산기술
AERONAUTICAL COMPUTER TECHNIQUE
2007年
4期
98-100
,共3页
机器人%Petri网%性能分析
機器人%Petri網%性能分析
궤기인%Petri망%성능분석
智能机器人的导航系统中存在着多个环节及并发流程,需要对导航系统中是否存在死锁进行检测.基于该导航系统的Petri网模型,采用Petri网死锁检测算法,判定机器人导航系统Petri网中不存在叶节点,即无死锁标识,也不存在死变迁,且不存在广义标识.并判定从任一可达标识均可到达初始标识.
智能機器人的導航繫統中存在著多箇環節及併髮流程,需要對導航繫統中是否存在死鎖進行檢測.基于該導航繫統的Petri網模型,採用Petri網死鎖檢測算法,判定機器人導航繫統Petri網中不存在葉節點,即無死鎖標識,也不存在死變遷,且不存在廣義標識.併判定從任一可達標識均可到達初始標識.
지능궤기인적도항계통중존재착다개배절급병발류정,수요대도항계통중시부존재사쇄진행검측.기우해도항계통적Petri망모형,채용Petri망사쇄검측산법,판정궤기인도항계통Petri망중불존재협절점,즉무사쇄표식,야불존재사변천,차불존재엄의표식.병판정종임일가체표식균가도체초시표식.
