会议论文《实时数据库并发控制协议及其Petri网分析》发表于2009年全国理论计算机科学学术年会，探讨了实时数据库系统中并发控制协议的设计与优化。作者运用Petri网模型对协议进行形式化分析，验证其正确性与实时性，为提高数据库系统的并发性能和可靠性提供了理论支持。
文档为pdf格式，0.25MB，总共4页。
举报
