资源分配
Example Nets


这个有趣的小例子非常适合用与介绍出现图。其中,详细描述了出现图的分析,且解释了出现图的许多基本概念,不懂出现图的人也能读懂该示例。

这个例子中,CPN 模型描述了两个过程是如何共享三种不同资源的。在介绍性示例中的资源分配也介绍了该示例模型,我们建议先学习这个示例。

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

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

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

文件如下: