CPNTools v4.0.1

CPNTools是專注于著色Petri網(wǎng)的建模與分析工具，它提供了強(qiáng)大的圖形化界面，使得用戶可以方便地創(chuàng)建、編輯和模擬Petri網(wǎng)模型，支持著色Petri網(wǎng)的多種高級(jí)特性，如層次化建模、時(shí)間Petri網(wǎng)、概率Petri網(wǎng)等，能夠滿足不同領(lǐng)域、不同復(fù)雜度的建模需求，深入了解和分析系統(tǒng)的動(dòng)態(tài)行為。

軟件功能

1、對(duì)需要的著色petri網(wǎng)進(jìn)行模型的建立。

2、并且還對(duì)擁有時(shí)間、分層的著色petri網(wǎng)建立模型進(jìn)行支持。

3、對(duì)用戶經(jīng)常使用的CPN ML編程語言支持。

4、根據(jù)自己的需求對(duì)顏色進(jìn)行選擇，包括了對(duì)時(shí)間的設(shè)置。

5、層次化的建模支持，對(duì)各種豐富的模型分析工具進(jìn)行提供。

6、內(nèi)置的監(jiān)視器相當(dāng)?shù)膶?shí)用，完成對(duì)空間狀態(tài)的分析等。

軟件特色

1、第三部分?jǐn)U展。

2、非彩色網(wǎng)的簡(jiǎn)化使用。

3、支持出口到PNML。

4、支持實(shí)時(shí)和彩色集。

5、改進(jìn)的時(shí)間支持(時(shí)間間隔和狀態(tài)空間縮減)。

6、簡(jiǎn)化狀態(tài)空間分析。

軟件截圖

查看安裝過程