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

在大型设备的状态数据库中,数据版本的管理不善会造成系统的混乱甚至崩溃。针对这些问题,通过对已有版本控制方法的分析比较,设计了一种新的数据版本控制方法。该方法构建一种有色Petri网(CPN),模拟数据版本控制过程,用不同颜色的托肯表示数据的不同版本,通过限制变迁的触发序列模拟数据版本的更新过程,应用Petri网的并发机制和SQL Server并发机制解决了版本更新过程中的并发、合并等问题。通过变电站监控系统的实例得出:该方法可用于中、大型系统的数据版本控制,有效提高了历史数据的管理水平。