CPN Tools 是一款簡(jiǎn)單高效的建模軟件。該款工具專用于有色Petri網(wǎng)編輯、模擬和分析，提供的分層建模工具、時(shí)間顏色集表示以及自動(dòng)分析工具使得HTCPN方法可以應(yīng)用于安全協(xié)議的自動(dòng)分析中。

【功能特點(diǎn)】

　　制圖 - 從 Adobe Illustrator 內(nèi)導(dǎo)入2D元素，或直接在CPN Tools內(nèi)繪制2D對(duì)象。

　　建模 - 具備大量建模選項(xiàng)。使用熟悉的Bezier樣條實(shí)現(xiàn)3d建模;以Quad多義線取代傳統(tǒng)的多邊形;表面元混合對(duì)象;鍛壓模型;布爾聯(lián)合或相減;鏡像建模等。

　　瀏覽 - 從多個(gè)角度檢查作品。CPN Tools帶有分割視窗，多視窗，等高線，針對(duì)相機(jī)和光源的專門視窗。

　　環(huán)境 - 有時(shí)外圍空間對(duì)作品而言非常重要，CPN Tools帶有多種選項(xiàng)，并提供一個(gè)使用方便的界面，實(shí)現(xiàn)對(duì)外圍空間的控制。

　　光照 - 光照能夠提升作品效果，CX為您提供了點(diǎn)光源、聚束光、全局太陽(yáng)光、環(huán)境燈罩、高動(dòng)態(tài)范圍圖象光、發(fā)光表面、膠體光，所有這些光源的使用都不受限制，而且完全可控。

　　渲染 - 高品質(zhì)渲染特性。渲染是將作品整合并創(chuàng)建最終圖像的過(guò)程。

　　動(dòng)畫(huà) - 提供簡(jiǎn)單的動(dòng)畫(huà)方法，以動(dòng)畫(huà)展現(xiàn)作品。動(dòng)畫(huà)控制方式非常簡(jiǎn)單，包括關(guān)鍵幀、時(shí)間軸、腳本。

　　紋理 - 使用簡(jiǎn)單，同拖放操作類似。CX提供紋理面板，帶有數(shù)百種預(yù)先設(shè)置的表面紋理，您也可以制作自定義紋理，制作的紋理類似于活動(dòng)鏈接到Photoshop文件，在Photoshop內(nèi)做出更改后，CX將自動(dòng)更新模型表面。

【使用說(shuō)明】

　　先安裝CPN工具，點(diǎn)擊這里可以進(jìn)行下載。CPN的工具是需要JAVA環(huán)境的，所以記得提前配好JAVA環(huán)境程序才能正常運(yùn)行。

　　登錄內(nèi)容：只有在用戶名是3，登錄密碼是three時(shí)才登錄成功提示success，否則提示fail。

　　1.首先打開(kāi)CPN Tools程序

　　點(diǎn)擊右鍵選擇New Net

　　這樣就新建了一個(gè)Net

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

　　2.畫(huà)place和transition及其連接

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

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

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

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

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

　　3.初始化數(shù)據(jù)

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

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

　　運(yùn)行的結(jié)果