Petri网是一种系统设计和分析的工具，为了完成Petri网的各项分析，还需要借助如可达树，可大图等工具。