6.3.3 Petri网性能分析