CPN Tools 是集 編輯、設(shè)計與仿真以及分析 于一身的有色Petri Net(CPN)工具,即Colored Petri nets。 此4.0.1是當前最新版,有著很好的GUI,易于使用。
使用方法
首先打開CPN Tools程序
點擊右鍵選擇New Net
這樣就新建了一個Net
功能
CPN Tools不僅支持基礎(chǔ)著色Petri網(wǎng)建立模型,也支持帶有時間和分層的著色petri網(wǎng)建立模型。CPN Tools支持CPN ML編程語言,顏色集,時間,層次化建模等。同時,CPN Tools提供豐富的模型分析工具,如監(jiān)視器,狀態(tài)空間分析等,增強了它的模型分析能力和模型驗證(MC)的能力。
- PC官方版
- 安卓官方手機版
- IOS官方手機版