码迷,mamicode.com
首页 > 其他好文 > 详细

CPN Tools 形式化建模分析工具

时间:2020-02-05 09:58:15      阅读:102      评论:0      收藏:0      [点我收藏+]

标签:持续时间   tar   有关   nbsp   存在   驱动   嵌套   blank   概述   

一直想把之前看有关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最基本的功能和目的

 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上,仅供参考

 

CPN Tools 形式化建模分析工具

标签:持续时间   tar   有关   nbsp   存在   驱动   嵌套   blank   概述   

原文地址:https://www.cnblogs.com/xinxianquan/p/12104816.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!