Reduction method for reachability analysis of Petri nets
Z Han, GB Lee - Tsinghua Science and Technology, 2003 - ieeexplore.ieee.org
Z Han, GB Lee
Tsinghua Science and Technology, 2003•ieeexplore.ieee.orgReachability analysis is an important approach for acquiring Petri net (PN) properties. The
reachability tree and the solution of the state equation are two commonly used methods for
reachability analysis. but they can result in state explosion and spurious solutions in some
cases. As a significant complementary method. the PN reduction technique simplifies the
reachability analysis by reducing the net size while preserving the reachability. This paper
introduces several useful reduction rules and defines a reduction process for the analysis of …
reachability tree and the solution of the state equation are two commonly used methods for
reachability analysis. but they can result in state explosion and spurious solutions in some
cases. As a significant complementary method. the PN reduction technique simplifies the
reachability analysis by reducing the net size while preserving the reachability. This paper
introduces several useful reduction rules and defines a reduction process for the analysis of …
Reachability analysis is an important approach for acquiring Petri net (PN) properties. The reachability tree and the solution of the state equation are two commonly used methods for reachability analysis. but they can result in state explosion and spurious solutions in some cases. As a significant complementary method. the PN reduction technique simplifies the reachability analysis by reducing the net size while preserving the reachability. This paper introduces several useful reduction rules and defines a reduction process for the analysis of reachability which is easy to understand and implement. Some examples are given to explain the method to solve the reachabillty problem. The analysis shows that the proposed reduction method preserves the visualization feature of PN and can be easily used.
ieeexplore.ieee.org
以上显示的是最相近的搜索结果。 查看全部搜索结果