《转》常用Petri网模拟软件工具简介

摘要:
Petri网的相关模拟仿真软件现在已经相当成熟了,在国外已经有很多投入商用的案例。也就是说Petri网界对于新的模拟软件的开发是十分重视。这里不是要跟大家说如何开发软件,而是想跟大家分享如何下载和使用适合我们自己的Petri网学习工具软件。JFern支持面向对象Petri网,目前支持OOPN的软件比较少,所以很有价值。而我是从西北大学一位研究生处得到的,当我问起他们一般使用什么Petri网模拟软件时,他只说了PIPE,可见他还是很有影响力的。

本文转载自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网建模。

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

《转》常用Petri网模拟软件工具简介第1张

Tina

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

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

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

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

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

《转》常用Petri网模拟软件工具简介第2张《转》常用Petri网模拟软件工具简介第3张

CPNTools

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

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

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

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

《转》常用Petri网模拟软件工具简介第4张

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

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)文件就可以打开操作界面了(见图)。

《转》常用Petri网模拟软件工具简介第5张

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

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

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

免责声明:文章转载自《《转》常用Petri网模拟软件工具简介》仅用于学习参考。如对内容有疑问,请及时联系本站处理。

上篇常用的网页加载进度条Word对象模型 (.Net Perspective)下篇

宿迁高防,2C2G15M,22元/月;香港BGP,2C5G5M,25元/月 雨云优惠码:MjYwNzM=

相关文章

什么是 .manifest 文件

恩,为了大家都能很方便的理解,我将尽量简单通俗地进行描述。[现象]对这个问题的研究是起源于这么一个现象:当你用VC++2005(或者其它.NET)写程序后,在自己的计算机上能毫无问题地运行,但是当把此exe文件拷贝到别人电脑上时,便不能运行了,大致的错误提示如下:应用程序配置不正确,请重新安装程序……或者是MSVCR80D.dll 没有找到什么的(我记得不是...

微信开发笔记:获取用户openid,以及用户头像昵称等信息

微信开发的时候有一个很便利的途径来进行一个用户的一步注册登录,就是使用用户的微信信息来直接进行登陆,可以省去很多不必要的麻烦。那具体这些信息是如何来获取的呢? 首先呢,我们需要对微信进行一个授权,让微信页面有权限来读取我们的用户信息: $redirect_uri = urlencode($url); //设置授权页面,此处填写回调的授权页面地址 $scop...

APP的UI自动化测试框架及平台化探索

顾铮,10年+测试及测试开发相关经验,2014年加入京东,曾主导设计开发UI测试框架,参与CI测试平台建设,现负责iOS侧的工具,框架建设。在UI自动化,性能测试,单元测试方面有较深入研究,在App,web端等有较丰富的测试开发和设计经验。 >>>> 写在前面 关于UI测试的文章,多数是通过架构的演进,或是重构,或是推翻重做来讲述的...

优雅的启动、停止、重启你的SpringBoot项目

前言 你是如何启动、关闭你的SpringBoot项目的?还是使用java -jar xxxx.jar启动? 还在用ps -ef找到你的pid去kill你的应用吗? 让我们来看看还有什么更加优雅的一键启动关闭的方式。 第一种方式 使用shell脚本,就是编写相应的shell脚步去启动和关闭我们的项目。 脚本内容:https://github.com/Link...

不越狱 继续逆向 微信运动

不越狱 继续逆向 微信运动 字数939阅读312评论4喜欢6 接下来还是在非越狱环境中进行。 手动修改微信步数 上篇文章中讨论了如何使用Hopper 来修改二级制文件实现逆向,虽然修改过程很简单,但是由于只能针对于汇编语言进行修改,所以还是有很大的局限性,如果能直接用源语言(Objective-c)来进行修改,那就能为所欲为了。所以这就是接下来要干的...

angularjs基本执行流程

近期温习了下angularjs执行流程,备记下。以便查看。 主要的执行流程例如以下: 1.用户请求应用起始页。 2.用户的浏览器向server发起一次HTTP连接,然后载入index.html页面,这个页面里面包括了模板。 3.angular被载入到页面中,等待页面载入完毕 ,然后查找了ng-app指令,用来定义模板边界。 4.angularj...