有色陪替氏网和CPN工具课程
可以从此处下载CPN工具:
CPN书的主页可以在以下位置找到: :
阅读和准备
CPN模块基于以下列出的书籍章节和论文:
《彩色Petri网》一书的第1章和第2章: :
CPN论文可通过以下: :
在有色Petri网的两个模块中,我们将使用CPN工具。 建议您在参加Petri Net课程之前先在PC上下载并安装该工具。 如果您在安装过程中遇到任何技术问题,请访问或联系讲师。
模块I-建模和CPN工具
第一个模块着重于彩色Petri网(CPN)建模语言的构造和定义。 CPN属于高级Petri网的类别,并将Petri网与功能性编程语言Standard ML(SML)结合在一起。 Petri网提供了用于对并发,通信和同步进行建模的原语,而SML提供了用于对数据操作进行建模以及创建紧凑和参数化模型的原语。 CPN和支持的计算机工具CPN工具在实践中已
1