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