摘要: Petri网对于分布数据系统的适用性，可由下面对复式文件更新协议的模拟得到证明.分布系统中，各分散站内都存在数据库的付本.对于数据库的更新要求，从任何一个站开始都可以.更新协议必须保证除暂时更新期外，所有付本都是同一的（相互一致）.Ellis，Noe和Nutt使用E网分别讨论了集中控制结构和分散控制结构.数据库控制器与每个站都相关联，它允许更新本地数据库的仅有实体.用户提出的更新要求，通过本地控制器送到中央管理程序.