Petri网的可达图与可达树的比较

The Comparison of Reachability Graph and Reachability Tree

Ｐｅｔｒｉ网的可达图和可达树都是用于分析Ｐｅｔｒｉ网的工具．文章将展示如何用可达图完成Ｐｅｔｒｉ网的各项分析，并将可达图与可达树相比较，证明可达图是较可达树更为有力的一种分析工具．

Reachability graph and reachability tree are tools for Petri net analysis. We will show how reachability graph to analyse the problem with Petri net. And we will compare it with reachability tree to improve it is stronger than reachability tree.