分布式数据库并发控制的Petri网分析

1 引言 Petri网是一种系统模拟和系统分析的工具,能够深刻和简洁地描述动态系统、分布式系统的特性和网络竞争、网络碰撞以及网络阻塞等各种现象。这在许多领域中已得到了广泛的应用。利用Petri网理论来分析和模拟分布式数据库系统,可以充分发挥Petri网的优点,形象、透彻地分析清楚分布式数据库实现的关键技术,这有助于分布式数据库系统的实现。