Petri網是Carl Adam Petri於1962年在博士論文中首次提出來的。作為描述系統元素的異步並發操作的工作模型，Petri網在計算機等許多領域都獲得了廣泛的套用。Petri網是完全從過程的角度出發為複雜系統的描述與分析設計提供的一種有效的建模工具，能自然的描述並發、衝突、同步、資源爭用等系統特性，並帶有執行控制機制，同時還具備形式化步驟及數學圖論相支持的理論嚴密性。值得一提的是Petri網的圖形表達的直觀性和便於編程實現的技術特點，使得它已經成為工作流及作業流建模的主要工具之一。本小節將使用Petri網作為作業流建模的工具，對網路自動攻擊系統上的網路攻擊作業流進行建模。首先將對Petri網的相關概念進行介紹。
基本介紹
- 中文名：Petri網路
- 提出時間：1962年
- 提出者：Carl Adam Petri
- 描述：系統元素的異步並發操作
歷史,概念,
歷史
Petri網是Carl Adam Petri於1962年在博士論文中首次提出來的。作為描述系統元素的異步並發操作的工作模型，Petri網在計算機等許多領域都獲得了廣泛的套用。Petri網是完全從過程的角度出發為複雜系統的描述與分析設計提供的一種有效的建模工具，能自然的描述並發、衝突、同步、資源爭用等系統特性，並帶有執行控制機制，同時還具備形式化步驟及數學圖論相支持的理論嚴密性。值得一提的是Petri網的圖形表達的直觀性和便於編程實現的技術特點，使得它已經成為工作流及作業流建模的主要工具之一。本小節將使用Petri網作為作業流建模的工具，對網路自動攻擊系統上的網路攻擊作業流進行建模。首先將對Petri網的相關概念進行介紹。
概念
一個Petri網的結構元素包括:庫所(place)、變遷(translation)和有向弧(arc)庫所使用圓來標識，用於描述可能的系統局部狀態。變遷使用矩形標識，用於描述修改系統狀態的事件。有向弧可以從庫所節點指向變遷節點，或者從變遷節點指向庫所節點。通過有向弧描述庫所和變遷之間的聯繫，等價於自動機中的狀態轉移函式，表示使事件發生的局部狀態(因)或事件發生所引起的局部狀態的變化(果)在Petri網模型中，系統的動態特性用令牌(token)標識，令牌表示為包含在庫所節點中的圓點，它反映著庫所代表的局部狀態實現的動態情況。若某庫所中包含一個令牌，則表示庫所代表的局部狀態的一次實現(條件或結果為真);若庫所中無令牌，則表示庫所代表的局部狀態尚未實現(條件或結果為假)。
