04 现在的位置:首页 > 期刊导读 > 2020 > 04 >

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

【作者】郭鹏 王文焕 詹荣荣 杨国生 李妍霏 王丽敏 申华

【关键词】 Petri网; 出现序列; 继电保护; 业务模型;

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

上一篇:智能变电站二次电缆回路建模方法研究与应用
下一篇:基于配电自动化的配网单相接地故障定位与自愈

长沙理工大学版权所有   湘ICP备05003881号 
地址:湖南长沙市雨花区万家丽南路二段960号长沙理工大学内  邮政编码:410004