Research on Service Model of Protection relay Based on Occurrence Sequence of Petri Net

被引：0
|
作者：
Yang Guosheng [1 ]
Li Yanfei [1 ]
Zhan Rongrong [1 ]
Wang Wenhuan [1 ]
Guo Peng [1 ]
Wang Limin [1 ]
机构：
[1] China Elect Power Res Inst, Protect Relay Dept, Beijing, Peoples R China
来源：
2018 2ND IEEE CONFERENCE ON ENERGY INTERNET AND ENERGY SYSTEM INTEGRATION (EI2) | 2018年
关键词：
Petri net; occurrence sequence; protection relay; service model;
D O I：
暂无
中图分类号：
TE [石油、天然气工业]; TK [能源与动力工程];
学科分类号：
0807 ; 0820 ;
摘要：
The whole-services data model of protection relay support the service platform of protection relay, and the service model of protection relay is an important part of the whole-services data model. Object-oriented modeling methods such as UML provide a feasible technical solution for service modeling of protection relay. However, this method lacks strict semantics, and the accuracy of the model is difficult to verify. The model is prone to generate information ecology, and is not comprehensive. Petri net have strict mathematical definitions and the model can be validated by formal verification methods. Based on the service modeling requirements of protection relay, this paper proposes to establish the model with the application of Petri net, transform the Petri net to its corresponding occurrence sequence, formally analyze and semantically verify the occurrence sequence, finds and corrects the branch or process in Petri net that is inconsistent with the actual service, which improves the effectiveness of the service model of protection relay.
引用
收藏
页数：6
相关论文
共 50 条
  • [1] Research of the Service Composition Optimization Model Based on Petri Net
    Liu, Dan
    Yao, Shu-Wen
    Zeng, Yan
    Zhao, Ke
    Guo, Yan-An
    Li, Li
    Li, Li (ll@cust.edu.cn), 1600, Codon Publications (32): : 101 - 114
  • [2] Integrity Check Method of Relay Protection Data Based on Petri Net
    Shen Hua
    Liu Dan
    Hu Haiyan
    Guo Peng
    Wang Wenhuan
    Kang Yiqun
    2020 5TH INTERNATIONAL CONFERENCE ON INFORMATION SCIENCE, COMPUTER TECHNOLOGY AND TRANSPORTATION (ISCTT 2020), 2020, : 64 - 68
  • [3] Relay protection modeling based on high-level Petri net
    School of Electrical Engineering, Wuhan University, Wuhan 430072, China
    Dianli Zidonghua Shebei Electr. Power Autom. Equip., 2008, 2 (23-28):
  • [4] Research on Fault Diagnosis Model for Substation with Redundancy Protection Based on Petri Net
    Dong, Haiying
    Li, Xiaonan
    Ren, Wei
    ADVANCES IN MANUFACTURING TECHNOLOGY, PTS 1-4, 2012, 220-223 : 1495 - +
  • [5] A research of agent model based on petri Net
    Wan, H
    Zhang, YZ
    Zhang, CG
    ISTM/2003: 5TH INTERNATIONAL SYMPOSIUM ON TEST AND MEASUREMENT, VOLS 1-6, CONFERENCE PROCEEDINGS, 2003, : 4761 - 4764
  • [6] Research of the Assembly Model Based on Petri Net
    LI Rong FU Yili MA Yulin FENG Haibo Advanced ManuTechCentHarbin InstOf TechHarbin China
    武汉理工大学学报, 2006, (S2) : 393 - 397
  • [7] Research of the assembly model based on Petri net
    Advanced Manu. Tech. Cent., Harbin Inst. Of Tech., Harbin 15000, China
    Wuhan Ligong Daxue Xuebao, 2006, SUPPL. 1 (393-397):
  • [8] Research of the assembly model based on Petri net
    Li Rong
    Fu Yili
    Ma Yulin
    Feng Haibo
    1ST INTERNATIONAL SYMPOSIUM ON DIGITAL MANUFACTURE, VOLS 1-3, 2006, : 393 - 397
  • [9] Research on the service modeling method of information management software based on the petri net model
    Rui, S. (hantianfeng@126.com), 2013, Digital Information Research Foundation (11):
  • [10] Research of contract net model based on cost timed Petri net
    Dept. of Computer Science and Technology, Tongji University, Shanghai 201804, China
    Xitong Fangzhen Xuebao, 2008, 20 (5438-5441+5445):
12345