张　丹,佘　维

(1.中国地震局地球物理勘探中心,郑州　450002; 2.郑州大学 软件技术学院，郑州　450003)



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

张丹1,佘维2

(1.中国地震局地球物理勘探中心,郑州450002; 2.郑州大学 软件技术学院，郑州450003)

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

电力系统；监控数据；工作流；Petri网；形式化验证

0　引言

电力系统行业随着电网规模的不断扩大和综合自动化的广泛应用，对其后台监控系统提出了很高的要求。因此，后台监控系统中存储的监控数据、电网规模和设备信息显得尤为重要。变电站监控系统在现场调试和维护过程中往往由于数据库更改或者误操作而引起信息不一致，人工方法又难以准确地进行验证，导致原有的已经校对测点信息无法匹配；……