| 基于Petri网的机器人导航系统性能分析 |
| |
| 引用本文： | 符意德,卢波,孙晔.基于Petri网的机器人导航系统性能分析[J].航空计算技术,2007,37(4):98-100. |
| |
| 作者姓名： | 符意德 卢波 孙晔 |
| |
| 作者单位： | 南京理工大学,计算机科学与技术学院,江苏,南京,210094 |
| |
| 摘 要： | 智能机器人的导航系统中存在着多个环节及并发流程,需要对导航系统中是否存在死锁进行检测.基于该导航系统的Petri网模型,采用Petri网死锁检测算法,判定机器人导航系统Petri网中不存在叶节点,即无死锁标识,也不存在死变迁,且不存在广义标识.并判定从任一可达标识均可到达初始标识.
|
| 关 键 词： | 机器人 Petri网 性能分析 Petri 机器人导航系统 系统性能分析 System Robot Navigation 死锁标识 变迁 叶节点 检测算法 网模型 并发流程 环节 存在 智能 |
| 文章编号： | 1671-654X(2007)04-0098-03 |
| 修稿时间： | 2007年4月1日 |
Petri Net-based Performance Analysis of Robot Navigation System |
| |
| FU Yi-de,LU Bo,SUN Ye.Petri Net-based Performance Analysis of Robot Navigation System[J].Aeronautical Computer Technique,2007,37(4):98-100. |
| |
| Authors: | FU Yi-de LU Bo SUN Ye |
| |
| Abstract: | There are many links with parallel processes in navigation systems of the Intelligent Robot.Base on the Petri Net model of navigation systems,we can detect deadlock marks and dead variances,and detect the reachable marks to be back to their initial marks,using "reachable tree-based deadlock detection algorithm" and "reachability of initial mark identification algorithm". |
| |
| Keywords: | intelligent robot petri net performance analysis |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
