基于有色Petri网的变电站监控数据版本控制建模与研究

摘要

在大型设备的状态数据库中，数据版本的管理不善会造成系统的混乱甚至崩溃。针对这些问题，通过对已有版本控制方法的分析比较，设计了一种新的数据版本控制方法。该方法构建一种有色Petri网（CPN），模拟数据版本控制过程，用不同颜色的托肯表示数据的不同版本，通过限制变迁的触发序列模拟数据版本的更新过程，应用 Petri 网的并发机制和 SQL Server 并发机制解决了版本更新过程中的并发、合并等问题。通过变电站监控系统的实例得出：该方法可用于中、大型系统的数据版本控制，有效提高了历史数据的管理水平。%In large equipment state database, the poor management of data versions can cause the system disorder and collapse. To solve the problems, through the analysis and comparison of the existing version control methods, this paper designs a new method which simulates data versions control process by building a colored Petri net. Different colors of tokens show different versions. The forming process of data version is simulated by limiting the firing sequence. Concurrent mechanism of Petri net and SQL server is adopted to solve concurrent and incorporative problems in the process of update. Through the simulation with a real example of substations supervision system, it is concluded that this method can be used in middle and large system and improve the management level of the historical data.