文件名称：cpncourse：有色Petri网和CPN工具课程
文件大小：25.49MB
文件格式：ZIP
更新时间：2024-03-03 10:09:12
StandardML
有色陪替氏网和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工具在实践中已
【文件预览】：
cpncourse-master
----.gitignore(6B)
----README.md(3KB)
----presentations()
--------lecture4-modules.pdf(717KB)
--------lecture5-handson.pdf(564KB)
--------lecture3-cpns.pdf(815KB)
--------lecture7-applications.pdf(515KB)
--------lecture2-ptnets.pdf(781KB)
--------lecture6-statespaces.pdf(2.15MB)
--------lecture1-introduction.pdf(1.85MB)
--------.DS_Store(6KB)
--------lecture2-ptnets-short.pdf(338KB)
----assignment()
--------paxos-explained-from-scratch.pdf(230KB)
--------assignment.md(3KB)
----models()
--------lecture2-ptnets-short.cpn(11KB)
--------lecture6-statespaces.cpn(200KB)
--------lecture3-cpns.cpn(120KB)
--------analysis.sml(955B)
--------lecture7-erdp.cpn(379KB)
--------lecture4-cpnmodules.cpn(145KB)
--------lecture2-ptnets.cpn(323KB)
--------lecture6-statespaces-error.cpn(236KB)
--------lecture1-introduction.cpn(148KB)
--------lecture6-statespaces-cyclic.cpn(193KB)
----minicourse()
--------ptnets()
--------README.md(4KB)
--------lecture2-ptnets.pdf(713KB)
--------lecture1-introductionoverview.pdf(4.36MB)
----handson()
--------CPNController.cpn(49KB)
--------PTController.cpn(85KB)
--------two-phase-commit-protocol.cpn(145KB)
----cpntools(311B)
----papers()
--------cpn-hosc-2004.pdf(518KB)
--------cpn-acpn-2003.pdf(716KB)
--------rui-wang-thesis.pdf(9.87MB)
--------cpn-topnoc-2013.pdf(497KB)
--------cpn-acm-2015.pdf(376KB)
--------cpn-topnoc-mqtt.pdf(534KB)
--------cpn-sttt-2007.pdf(1.81MB)