赋时资源配置
网络例子(Example Nets)


这是一个非常适合初次涉及赋时着色Petri网的例子。显示如何将源于“资源配置”的CPN转化为赋时CPN。时间结构被以详细的细节加以描述,用于解释赋时CPN的基本概念。

Timed Resource Allocation

该例子摘自CPN资料卷2第5.1节和卷1第6.2节。获取更多CPN资料上的信息请浏览:

  http://www.daimi.au.dk/~kjensen/papers_books/rec_papers_books.html

本网络的文件可以在cpntools的子目录中找到,名为Samples\TimedResourceAlloc.

相关文件为