6.4 基于Petri网的系统性能与可靠性分析