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

【功能特點】

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

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

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

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

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

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

　　動畫 - 提供簡單的動畫方法，以動畫展現(xiàn)作品。動畫控制方式非常簡單，包括關鍵幀、時間軸、腳本。

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

【使用說明】

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

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

　　1.首先打開CPN Tools程序

　　點擊右鍵選擇New Net

　　這樣就新建了一個Net

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

　　2.畫place和transition及其連接

　　在左側Declarations下定義聲明，右擊Declarations新建decl

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

　　給place和transition中寫上名字send，p1，receive。

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

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

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

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

　　點擊Sim工具中的箭頭運行

　　運行的結果