CPN Tools

一直想把以前看有關CPN的文獻資料作一個綜合性的整理，因此最近花了些時間，把烏克蘭敖德薩國家電信科學院交通運輸部學院的講義作一個翻譯。本課程的翻譯不具受權（若有侵權請及時聯繫，作刪除處理）

本課程的標題是 《使用CPN Tools模擬電信系統》用於學生課堂信息系統數學建模，用於教授碩士課程

本課程介紹了仿真系統CPN Tools的功能，該系統是丹麥奧胡斯大學開發的軟件，並使用在信息系統數據建模課程中用於電信系統和網絡的建模，本課程中咱們選擇的案例是交換式以太網模型的示例。本課程的翻譯中的的案例部分我再也不重複試驗。最後會上傳部分本身試驗的代碼，僅供你們參考使用。

本課程內容結構(由於分章節戳鏈接比較繁瑣，因此後續的全部直接放在對應標題下面)

結構

1CPN tools實現層次網絡

CPN Tools是使用Petri網語言的特殊仿真系統用於模型的表示。 該系統是在美國奧爾胡斯大學開發的丹麥，並經過網絡爲非商業組織免費分發網站http://www.daimi.au.dk/CPNTools/。 服務水平容許分類CPN Tools做爲企業系統。 它被用於許多現實生活中的項目特別是在電信領域。 最近諾基亞公司正在申請CPN工具，用於模型驅動的新一代手機開發。 

CPN Tools 提出了一種強大的層次Petri網結構的模型描述，根據標準分類，此類網絡結構命名爲層次定時網絡，事實證實他們等同於圖形結構的算法系統，所以抽閒對象指定任意的層次網絡。

簡單的顏色Petri網使用不一樣的token值。token值的類型經過天然數表示一種顏色集，比方1：red  2:blue, 3-green等，顏色Petri更加的複雜，由於此類結構中的token被描述成一個抽象的數據類型在編程語言中。術語「colored」任然保存以前的意思，可是徹底不一樣「colors」體現的意思。

時間戳的Petri網使用時間的概念模型來表達執行中的實時對象，儘管在經典的petri網中，變遷點火以後當即發生，可是在定時網絡中存在肯定的持續時間或者肯定的延遲。這樣能夠分析具備時間屬性的複雜模型。在這樣的網絡結構中，一個元素能夠由另外一個網絡表示，在CPN tools 中，可使用替代變遷。因此存在嵌套的結構，這其中對層次結構的數量沒有嚴格的限制。

1.1Petri網圖和CPN ML語言

 1.2 例子（1）

    例子（2）

    例子（3）

二、CPN Tools最基本的功能和目的

 2.1 CPN Tools的目的

    

 2.2 CPN Tools最基本的功能

 

 

 

三、CPN Tools的界面組織結構

 3.1 主窗口區域

 

 

 

 3.2 工具工做區

 

 

 

 3.3 上下文菜單

 

 

 

 3.4 模型結構

 

 

 

 3.5 幫助系統組織

 

 

 

 3.6 CPN Tools工具反饋

 

 

 

四、CPN Tools工具箱

 4.1 網絡工具

 

 

 

 4.2 建立工具

 

 

 

 4.3 模擬工具

 

 

 4.4其餘工具概述

 

 

 

五、基本的CPN ML語言

 5.1 簡單顏色集

 

 

 5.2 複合顏色集

 

 

 5.3 變量的聲明和常量

 

 

 5.4 函數

 

 

 

 5.5 隨機數

 

 

 

 5.6 多集

 

 

 

 5.7 時間戳

 

 

 

六、模型語言描述

 6.1 庫所描述

 

 

 

 6.3 弧描述

 

 

 6.4 變遷描述

 

 

 

七、CPN Tools定時網絡的特色

八、處理網絡碎片

九、融合庫所

十、層次網絡結構

 10.1 基本的替代變遷

 10.2 從下到上的建模

 10.3從上到下的建模

十一、分析一個CPN-net 網絡的實驗數據

 11.1 調試模型的問題

 11.2狀態空間分析

 11.3 模擬網絡模型行爲

 11.4 碎片測量

十二、CPN Tools的附加功能

 12.1 聯合顏色集

 12.1 列表顏色集

附錄： 基於交換式局域網有色Petri網模型網絡響應評估模型

 代碼部分我上傳到了Git上，僅供參考