基于Petri网的电力系统监控数据多点校核方法

• 作者: 佘维 张丹
• 来源期刊: 计算机测量与控制
• 关键词: 电力系统 监控数据 工作流 Petri网 形式化验证
• 年，卷（期）: 2016,（4）
• 所属期刊栏目: 控制技术
• 页码范围: 101-104
• 页数: 4页
• 分类号: TP301
• 语种: 中文
• DOI: 10.16526/j.cnki.11-4762/tp.2016.04.030

摘要

由于人为误操作和数据库系统异步因素,电力系统监控数据存在错误风险,需要对监控数据进行多点校核来保障其一致性和正确性,可靠的监控数据保证电力系统的安全运转;然而多点校核业务流复杂且对数据精度要求高,目前的人工校核方法不仅成本高,且精度和效率低,不能保证整个监控数据的实时校核工作;为自动化监控数据多点校核过程,需要对整个业务流建模,针对该问题,提出一种基于Petri网的监控数据多点校核动态建模方法;首先将监控系统的校核业务背景形式化Petri网中的具有不同约束的节点;然后使用工作流Petri方法对校核的业务流程进行形式化定义、并将该业务流程用Petri网建模成为网状模型;最后,针对该模型提出一种化简技术对其进行化简,并证实该化简方法的有效性和该模型能拟合监控数据多点校核的整个流程.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	佘维	郑州大学软件技术学院	31	151	7.0	10.0
2	张丹		1	6	1.0	1.0