基于时序Petri网的变电站故障诊断