中文摘要：

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

英文摘要：

due to manual misuse and database asynchronously, monitoring data of power system are usually inconsistent among databas es, resulting that we have to ensure them consistent and accurate by the method of multipoint verification. Thus, the method is so complex that the high cost only gets the low accuracy by manual verification. The best method verifying monitoring data is automation by the computer modeling and program. To model the process of multipoint verification about monitoring data of power system, we propose a method based on Petri net that can formalize the whole business process and is transformed into computer program easily. Firstly, we map the back-ground of verification process into the tokens and places, being constrained by different conditions, in Petri net. Secondly, we use work flow Petri method to define the verification process expressed into a net model finally. And last, we simplify the model and test the simplification method is effective.