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

关键词：广域后备保护 面向agent petri网 动态行为 系统建模 

单位：西南交通大学电气工程学院; 四川省成都市610031