8.9.1 基于Petri网的电动机故障诊断模型