基于面向Agent Petri网的广域后备保护建模与分析

提出一种面向AgentPetri网改进型模型，给出了该Petri网模型的一般性结构、网络的形式化描述和结构特性属性的定义及其定理，将Agent的自治性、协作性、容错性在模型中予以具体的表达。针对一种广域后备保护算法为其建立较精确的面向AgentPetri网模型，对其进行L3-活性和多Agent动态行为跟踪有效性的分析。通过算例分析了电力系统发生故障时Petri网的推理过程，验证了所构建的多AgentPetri网模型的正确性和有效性，能较好地构造广域后备保护分布式系统的内部结构和活动，有效地跟踪系统的动态行为，使得广域后备保护系统的设计更加系统化。