博久網(wǎng)址 Petri net Simulator)
也稱為HIPS,是開發(fā)與Petri網(wǎng)的設(shè)計(jì)和分析的工具。
petri網(wǎng)建模仿真是一個非常直觀的圖形用戶界面軟件。的應(yīng)用程序功能的靜態(tài)/動態(tài)分析功能(可達(dá)路徑分析,檢測的T-不變,僵局狀態(tài)檢測,K-有界性分析)。