摘要：介绍了谓词Petri网理论及其矩阵推导方法，提出了一种基于谓词Petri网理论的电网故障诊断模型。以母线为例说明了元件连接图的建立和映射为诊断模型的方法。该诊断方法将断路器和保护信息包含在运算过程中，使Petri网的故障模拟过程更加清晰准确；将元件故障诊断分解为各方向诊断，降低了运算维数。实际电力系统中的测试结果证明了基于该模型的故障诊断系统的实用性和有效性。

关键词：电力系统 故障诊断 谓词petri网 元件连接图 

单位：山东省济南供电公司 济南250012 山东大学电气学院 济南250061