5.3.3 基于Petri网的可达性分析