国产欧美精品一区二区,中文字幕专区在线亚洲,国产精品美女网站在线观看,艾秋果冻传媒2021精品,在线免费一区二区,久久久久久青草大香综合精品,日韩美aaa特级毛片,欧美成人精品午夜免费影视

due to manual misuse and database asynchronously,monitoring data of power system are usually inconsistent among databases,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 background 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.