摘要

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

  • 单位
    河南牧业经济学院; 许继电气股份有限公司; 郑州大学