常用Petri網模擬軟件工具簡介


常用Petri網模擬軟件工具簡介

首先要介紹的的一個非常有名的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 

 

JFern、PIPE

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網模擬軟件其實還有很多很多,只要是不要錢的大家都可以拿來下着玩玩,弄不好就被你發現點什么玄機了,呵呵。如果覺得這些軟件的操作你不熟悉,拿着不知道怎么用,最有效也是最直接的辦法是:看幫助文檔或者說用戶手冊!


免責聲明!

本站轉載的文章為個人學習借鑒使用,本站對版權不負任何法律責任。如果侵犯了您的隱私權益,請聯系本站郵箱yoyou2525@163.com刪除。



 
粵ICP備18138465號   © 2018-2025 CODEPRJ.COM