基于Petri网出现序列的继电保护业务模型

摘要：

针对现有UML等对象化的继电保护业务建模方法难以进行语义分析和校验的问题,根据Petri网能定量分析系统安全性、可达性和有界性的特点,提出一种基于Petri网的继电保护业务模型.通过UML活动图初步构造继电保护业务模型,将活动图映射成Petri网模型,再将该Petri网进一步转化成出现序列,对出现序列的结构和语义进行校验,发现并修正Petri网中与实际业务不符的分支或过程,直到Petri网对应的出现序列通过验证.最后,将Petri网转换成继电保护业务模型.实例应用证明该方法可以显著提高继电保护业务模型的有效性.

关键词：Petri网、出现序列、继电保护、业务模型

所属期刊栏目：35

分类号：TM731(输配电工程、电力网及电力系统)

资助基金：国家电网有限公司科技项目5442JB190008

在线出版日期：2020-08-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：169-175