博久網(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-有界性分析）。