4）通过建立总体的Petri网故障诊断流程，使得基于Petri网故障诊断的过程系统化，可以使诊断清晰简洁；对实际的故障电网诊断，按照所建立的流程步骤，通过MATLAB编程计算，验证了此类模型诊断方法的可行性、有效性。通过在本课题研究过程中的思考，针对本文研究的问题给出了总结与展望。

2  Petri网理论及其在电力系统故障诊断中的应用

    Petri网是一种有向加权的网状信息流模型，由事件和条件两个不同类型的节点构成，在这种有向图的基础上对不同的事件布入托肯，即一种表示事件状态信息的一种标记，在一定规则下，当事件之间的条件满足时，事件状态发生变化，以此可以反映出系统的静态和动态的过程。

2。1  Petri网基本理论

2。1。1  Petri网

     N=（P,T,F）称为有向网的充分必要条件是[17]：

                                              (2。1)                             

    其中，P和T分别为有向网的库所集和变迁集，他们中的元素分别称为库所和变迁，用p和t表示；F是由p元素和t元素组成的有序偶的集合，也可以称作流关系或弧，表示为（p，t），或者（t，p），表示两种弧的方向相反，;每一个库所存放一种资源，资源的流动由流关系决定；dom(F)是F所含有序网的第一个元素所组成的集合[17]，；cod(F)是F所含有序偶的第二个元素的集合[17]，。Petri网定义，Petri网是在有序网的基础上添加初始标记和权函数集W组成的一个五元组：。

    在Petri网中用托肯来表示库所中所存放的资源，初始标识集表示库所中初始托肯的布入情况；权函数集W表示流关系的约束条件，它表示资源的转移量，缺省表明权值为1。库所是可以存放无限托肯的场所，当建模需要对库所容量进行限制时，增加数组K来表示库所容量的函数集，,此时Petri网表示为一个6元组：

2。1。2  Petri网的推理

1。  推理规则

根据前述反应的静态系统结构，系统的动态行为需要通过托肯的数目变化和变迁点火来体现，有如下变迁点火的条件和规律定义：

1）以（i为变迁t的所有输入库所的编号）表示变迁t的输入库所的托肯数目，当满足关系式(W称为流的权值)，那么变迁被称作使能的；

2）只有使能的变迁才能点火。只有当它所代表的事件真实发生，即它满足相关评价函数时；文献综述

3）当某一个变迁使能时且点火时，该变迁的所有输入库所将转移出W(p,t)个托肯，相应的变迁的输出库所中将增加W(p,t)个托肯。

2。  库所标识的产生

1）库所p没有变迁的输入而仅有变迁的输出，那么库所p成为初始库所，p的托肯数由初始给定；

2）库所p仅有变迁输出而没有变迁输入，变迁p称为终止库所，P的托肯数为输入变迁产生的托肯最大值；

3）当库所p既是输入库所又是输出库所时，此时若输入库所与输出库所同时触发点火，则该库所中的托肯数目变化可以由公式表示为： 

Petri网的推理过程就是通过初始标识和评价函数，根据点火条件确定点火变迁，使得托肯按照加权弧的约束由输入库所迁移到输出库所，完成一次状态变化；再根据变化后的状态确定下一次的点火变迁，再次点火触发，完成托肯的转移；根据这种规则不断推理，当网络中没有变迁可以触发时，Petri网达到了最终的稳态，追踪所有点火的变迁节点和库所中托肯的分布，就可以的到问题的解。