分布式数据库.
Example Nets

这个小例子非常适合用于介绍出现图。其中，详细描述了状态空间的分析。

该例子的 CPN 模型描述了分布式数据库系统中数据库管理器之间的通信。分布式数据库中同样也描述了该模型，它是用于“介绍性的例子”（我们建议在学习这个例子前先研究一下这个文档）。

这个例子选自CPN课本卷2中的1.5节，想知道CPN课本更多的信息请访问: http://www.daimi.au.dk/~kjensen/papers_books/rec_papers_books.html.

状态空间工具的文档可以参看 使用状态空间工具。

这个例子的文件放在cpntools的子目录Samples\DistributedDataBase下。

文件如下：