Petri Net-based Performance Analysis of Robot Navigation System
Ye Sun · Aeronautical Computing Technique · 2007
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 marks to be back to their initial marks,using reachable tree-based deadlock detection algorithm and reachability of initial mark identification algorithm.