本文转载自liusj2003,如给您带来不便之处,请联系博主。

首先要介绍的的一个非常有名的Petri 网网站--Petri Nets World:

http://www.informatik.uni-hamburg.de/TGI/PetriNets/

我这里介绍的软件大部分在该网站中的Tools and Software中的Petri Nets Tool Database里可以找到相关的链接。

Petri网的相关模拟仿真软件现在已经相当成熟了,在国外已经有很多投入商用的案例。但目前每年的国际性Petri网学术会议上都有一个专题就是:Petri Nets Tools的开发。也就是说Petri网界对于新的模拟软件的开发是十分重视。

这里不是要跟大家说如何开发软件,而是想跟大家分享如何下载和使用适合我们自己的Petri网学习工具软件。

下面介绍我比较熟悉的几款软件,大家不妨自己下载安装使用(注意,其中有些是要钱的,不管打不打折,对于我们来说肯定不会下):

Visual Object Net ++

Tool homepage: http://www.systemtechnik.tu-ilmenau.de/~drath/visual_E.htm

 

Visual Object Net ++可以说是一款入门级的模拟软件了。我用得最多。具有非常直观的操作和非常强大的功能。

支持时间以及混杂网,但是我们用得最多的还是使用它来队最普通的P/T网建模。

这款软件虽然很好用,但感觉就是太普通、太普通了。

Tina

Tool homepage: http://www.laas.fr/tina

Tina是一款对时间Petri网支持得比较好的软件,也是我用得较多的一款软件。 它的运行程序是解压后/bin目录下的nd.exe文件(NetDraw),适用于Windows和Linux操作系统,也就是说他的移植性很好。

Tina的操作也比较特别,很多操作需要借助键盘按键来完成,如:

Ctrl + g用来切换软件背景网格线的有无;鼠标中键用来添加库所;Ctrl +鼠标中键用来添加变迁;用鼠标中键在库所与变迁间拖拽可以添加弧。

他有专门的模拟模块,点击菜单的tools-stepper simulator可以切换到运行模拟器中,如图。其中Rand表示随机运行,完了之后可回复到初始状态进行单步运行分析等。

            

CPNTools

Tool homepage: http://www.daimi.au.dk/CPNTools/

 

CPN Tools是颜色Petri网领域鼎鼎大名的建模软件,操作界面如同所示:

其操作也独具特色--添加库所、变迁以及弧的方法是使用鼠标右键点击不放,在出现的圆形弹出菜单内用左键选择相应的项目。

下图大家一看就明白,乃是经典的哲学家进餐问题的CPN模型。

更多的操作细则请参看在线帮助文档:

http://wiki.daimi.au.dk/cpntools-help/cpntools-help.wiki

JFernPIPE

Tool homepage: http://sourceforge.net/projects/jfern

 

之所以放在一起讲是因为JFern和PIPE都是基于JAVA平台的Petri网模拟软件。所以不管是在Windows下还是Linux下都必需有JDK/JRE作为运行环境方可使用。

JFern支持面向对象Petri网,目前支持OOPN的软件比较少,所以很有价值。

PIPE 是Platform Independent Petri Net Editor的缩写,没有给下载地址因为Petri Nets World上没有。而我是从西北大学一位研究生处得到的,当我问起他们一般使用什么Petri网模拟软件时,他只说了PIPE,可见他还是很有影响力的。

下载到JRE,并设置好PATH后运行PIPE软件包中的pipe.bat(Windows下,Linux下的启动程序是pipe.sh)文件就可以打开操作界面了(见图) 。

可见其见面也很直观易懂,且采用分页结构。

另外我想提出的一点说明是:在PIPE所建模型的库所属性框里可是有“Capacity”一栏的哦!这是我看到的第一个设置了库所容量的成熟软件。

说了这么多,最后想说一点:Petri网模拟软件其实还有很多很多,只要是不要钱的大家都可以拿来下着玩玩,弄不好就被你发现点什么玄机了,呵呵。如果觉得这些软件的操作你不熟悉,拿着不知道怎么用,最有效也是最直接的办法是:看帮助文档或者说用户手册!

最新文章

  1. excel 作图中次横坐标及次纵坐标的调试,以及excel自定义轴标签的步骤方法
  2. Linux下安装Apache并以mod_wsgi方式部署django站点
  3. Linux基本操作命令之文件查看cat more less tail head
  4. Javascript面向对象之继承
  5. Android项目实战(十四):TextView显示html样式的文字
  6. 2016年11月29日 星期二 --出埃及记 Exodus 20:20
  7. lintcode:子数组之和为0
  8. ScheduledExecutorFactoryBean忽略异常继续执行
  9. CSS3 transform制作的漂亮的滚动式导航
  10. mysql给表添加外键并查询
  11. BaLaBaLa
  12. Dynamics CRM 2013 SP1 客户表单界面上联系人subgrid上的添加现有联系人功能缺失
  13. Python + Anaconda + vscode环境重装(2019.4.20)
  14. 在win7上跑基于任少卿作者代码修改的RPN+BF实验
  15. VMare Workstation 安装Ubuntu 虚拟机教程
  16. 【php】php位运算及其高级应用
  17. Oracle imp exp 导入导出 执行脚本
  18. Linux下 niginx部署
  19. Struts2 xxAction-validation.xml使用
  20. Hive数据倾斜

热门文章

  1. SSH框架总结(框架分析+环境搭建+实例源码下载)
  2. Freemarker-标签使用
  3. Java异常-一般异常和运行时异常的区别
  4. 【Gym 100712A】Who Is The Winner?
  5. 学习笔记--函数式线段树(主席树)(动态维护第K极值(树状数组套主席树))
  6. UDP 内网穿透 心跳
  7. Spring学习4-面向切面(AOP)之Spring接口方式
  8. ECSHOP用户协议字体颜色更改
  9. 创建gbk编码
  10. php 数组二分法查找函数