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

来源：计算机测量与控制杂志2016年第4期北京时间：

作者：张丹,佘维

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

关键词：电力系统;监控数据;工作流;Petri网;形式化验证

基金资助：国家自然科学基金(U1204610)；河南省基础与前沿技术研究计划项目(152300410047)；中国地震局地球物理勘探中心青年基金项目(YFGEC2014004)。