基于时间序列Petri网的电力系统故障诊断方法