CPN Tools 系统建模分析工具（持续更新）

一直想把之前看有关CPN的文献资料做一个综合性的整理，所以最近花了些时间，把乌克兰敖德萨国家电信科学院交通运输部学院的讲义做一个翻译。本课程的翻译不具授权（如有侵权请及时联系，做删除处理）

本课程的标题是 《使用CPN Tools模拟电信系统》用于学生课堂信息系统数学建模，用于教授硕士课程

本课程介绍了仿真系统CPN Tools的功能，该系统是丹麦奥胡斯大学开发的软件，并使用在信息系统数据建模课程中用于电信系统和网络的建模，本课程中我们选择的案例是交换式以太网模型的示例。本课程的翻译中的的案例部分我不再重复试验。最后会上传部分自己试验的代码，仅供大家参考使用。

本课程内容结构(因为分章节戳连接比较繁琐，所以后续的所有直接放在对应标题下面)

结构

1CPN tools实现层次网络

CPN Tools是使用Petri网语言的特殊仿真系统用于模型的表示。 该系统是在美国奥尔胡斯大学开发的丹麦，并通过网络为非商业组织免费分发网站http://www.daimi.au.dk/CPNTools/。 服务水平允许分类CPN Tools作为企业系统。 它被用于许多现实生活中的项目特别是在电信领域。 最近诺基亚公司正在申请CPN工具，用于模型驱动的新一代手机开发。

CPN Tools 提出了一种强大的层次Petri网结构的模型描述，根据标准分类，此类网络结构命名为层次定时网络，事实证明他们等同于图形结构的算法系统，因此抽闲对象指定任意的层次网络。

简单的颜色Petri网使用不同的token值。token值的类型通过自然数表示一种颜色集，比方1：red  2:blue, 3-green等，颜色Petri更加的复杂，因为此类结构中的token被描述成一个抽象的数据类型在编程语言中。术语“colored”任然保存之前的意思，但是完全不同“colors”体现的意思。

时间戳的Petri网使用时间的概念模型来表达执行中的实时对象，尽管在经典的petri网中，变迁点火之后立即发生，但是在定时网络中存在确定的持续时间或者确定的延迟。这样可以分析具有时间属性的复杂模型。在这样的网络结构中，一个元素可以由另一个网络表示，在CPN tools 中，可以使用替代变迁。所以存在嵌套的结构，这其中对层次结构的数量没有严格的限制。

1.1Petri网图和CPN ML语言

1.2 例子（1）

例子（2）

例子（3）

2、CPN Tools最基本的功能和目的

最近博客上很多网友一直在重复问我一个 在建模中遇到的token 值无法设置的问题，大家可以在我的博客中找找，之前写过这个。今天在这里补充一下。

比方下面的一个简单的逻辑的CPN 图,  我们看到在send变迁中我们定义了一个复合类型的toke值     Client_Session_id和  id=1. 复合类型的token值 要放在括号里面 ，设定这个token只发送一次。所以前面的   ·点之前是 1。 这里注意这个符号 ，我下面特意找了键盘图标了出来。

申明颜色集是哟个的关键字是   colset  ，定义变量使用的关键字是 var ；比方上面简单的逻辑关系的CPN图中 。我们定义了  NO 颜色 是 INT类型（也就是类似数据类型 整型）， DATA 颜色集是STRING类型（也就是类似数据类型为字符串类型），  而我们定义变量主要是用在狐上用来表示传输的数据类型，上面途中 p这个变量表示传输的数据 为DATA，   n 表示传输的数据了行为NO ，复合颜色的定义分成很多，这里后面我再有时间更新。

2.1 CPN Tools工具的目的

2.2 CPN Tools最基本的功能

3、CPN Tools的界面组织结构

3.1 主窗口区域

3.2 工具工作区

3.3 上下文菜单

3.4 模型结构

3.5 帮助系统组织

3.6 CPN Tools工具反馈

4、CPN Tools工具箱

4.1 网络工具

4.2 创建工具

4.3 模拟工具

4.4其他工具概述

5、基本的CPN ML语言

5.1 简单颜色集

5.2 复合颜色集

5.3 变量的声明和常量

5.4 函数

5.5 随机数

5.6 多集

5.7 时间戳

6、模型语言描述

6.1 库所描述

6.3 弧描述

6.4 变迁描述

7、CPN Tools定时网络的特点

8、处理网络碎片

9、融合库所

10、层次网络结构

10.1 基本的替代变迁

10.2 从下到上的建模

10.3从上到下的建模

11、分析一个CPN-net 网络的实验数据

11.1 调试模型的问题

11.2状态空间分析

11.3 模拟网络模型行为

11.4 碎片测量

12、CPN Tools的附加功能

12.1 联合颜色集

12.1 列表颜色集

附录： 基于交换式局域网有色Petri网模型网络响应评估模型

代码部分我上传到了Git上，仅供参考