6.3 Petri网的分析