CPN Tools是一款集編輯、設(shè)計與仿真以及分析于一身的有色Petri Net(CPN)工具,即Colored Petri nets,CPN Tools4.0.1是當(dāng)前最新版,有著很好的GUI,易于使用。
軟件特色:
CPN Tools不僅支持基礎(chǔ)著色Petri網(wǎng)建立模型,也支持帶有時間和分層的著色petri網(wǎng)建立模型。CPN Tools支持CPN ML編程語言,顏色集,時間,層次化建模等。同時,CPN Tools提供豐富的模型分析工具,如監(jiān)視器,狀態(tài)空間分析等,增強了它的模型分析能力和模型驗證(MC)的能力。