CPN Tools(著色petri網(wǎng)工具) v4.0.1官方版

CPN Tools官方版是來(lái)自丹麥的奧爾胡斯大學(xué)的一款專(zhuān)用于有色Petri網(wǎng)編輯、模擬和分析的工具。CPN即Colored Petri nets的縮寫(xiě)，它提供的分層建模工具、時(shí)間顏色集表示以及自動(dòng)分析工具使得HTCPN方法可以應(yīng)用于安全協(xié)議的自動(dòng)分析中。

值得一提的是，CPN Tools還具有增量語(yǔ)法檢查和代碼生成功能，不僅可在網(wǎng)絡(luò)構(gòu)建時(shí)進(jìn)行，快速模擬器可有效處理不定時(shí)和定時(shí)網(wǎng)絡(luò)，還可以生成和分析完整和部分狀態(tài)空間，為用戶(hù)提供標(biāo)準(zhǔn)狀態(tài)空間報(bào)告包含諸如有界性屬性和活性屬性之類(lèi)的信息，軟件并且仍在不斷地完善中，有需求的用戶(hù)請(qǐng)下載體驗(yàn)！

軟件功能

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

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

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

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)空間分析。

CPN Tools簡(jiǎn)易教程

CPN Tools功能豐富，其教程并不是一個(gè)范例就能概括，小編這里使用CPN Tools工具做一個(gè)登錄模型作為說(shuō)明，更過(guò)功能請(qǐng)參照CPN Tools的幫助文檔。

提示：CPN Tools是需要JAVA環(huán)境的，所以記得提前配好JAVA環(huán)境程序才能正常運(yùn)行。

1、首先打開(kāi)CPN Tools程序，點(diǎn)擊右鍵選擇New Net，這樣就新建了一個(gè)Net

2、把工具箱中的Create和Simulation拖到面板上

3、畫(huà)place和transition及其連接

①在左側(cè)Declarations下定義聲明，右擊Declarations新建decl 

②新建紅色框里的decl（前后順序不能亂）

  ③給place和transition中寫(xiě)上名字send，p1，receive

④選中send點(diǎn)擊鍵盤(pán)上的Tab鍵把出現(xiàn)的UNIT改成INTxData，然后同樣選中receive點(diǎn)擊鍵盤(pán)上的Tab鍵把出現(xiàn)的UNIT改成DATA

⑤點(diǎn)擊第一條帶箭頭的線，把expr改成（n，p），點(diǎn)擊第二條帶箭頭的線，把expr改成if n=3 andalso p=”three” then “success” else “fail”（這句話的意思是如果用戶(hù)名是3，密碼是three則登錄成功顯示success，否則登錄失敗fail）

4、初始化數(shù)據(jù)

①選中send點(diǎn)擊鍵盤(pán)上的Tab鍵兩下，把出現(xiàn)的INIT MARK改成

②點(diǎn)擊Sim工具中的箭頭運(yùn)行

5、至此一個(gè)簡(jiǎn)單的登錄模型就完成了

更新日志

v4.0.1版本

1、聲明約束

2、位置轉(zhuǎn)換Petri網(wǎng)

3、新類(lèi)型（IntInf，real，time）

4、次要功能

.模型統(tǒng)計(jì)

.模擬停止標(biāo)準(zhǔn)

.簡(jiǎn)化的狀態(tài)空間分析

5、消息序列圖

6、時(shí)間間隔和時(shí)間縮短

7、擴(kuò)展：

.基本

.入門(mén)和基本抽象

.圖形和回調(diào)