petri

Petri 網是一種用於描述離散的、分散式系統的數學建模工具。其概念起源於 1939 年 8 月，當時 13 歲的 Carl Adam Petri 發明了它並使用它作為描述化學反應過程的工具。1962 年，Carl Adam Petri 以其著名的論文“ Kommunikation mit Automaten”獲得博士學位。在該論文中，他正式提出了 Petri 網論，這一年被視作 Petri 網的誕生之年。1970 年以後，Petri 又將他的網論發展為通用網論。現在，世界各地有許多科研人員專註於 Petri 網的研究，每年都舉行 Petri 網國際會議。

它用形式化手段描述協議的技術。類似於有窮狀態自動機。其文法規則有利於計算機程序維護.

簡單的petri網含有四個基本元素:

Place （庫所）：也稱為位置，一般用圓形表示，描述一個狀態，庫所作為托肯（token）的容器，其中的托肯數用於表示不同的狀態；

transition（變遷）：一般用矩形或者一條短線表示，描述了從一個狀態到另一狀態的變化。變遷的發生一般是原子性的，即不可中斷；

arc（有向弧）：一般用一段有向弧表示，從庫所指向變遷或者由變遷指向庫所，表徵了兩者之前一種偏序關係。弧上可以設定權值大小，即一次性消耗的資源數目；

token（令牌）：也叫托肯，即網系統中的資源，托肯的數目即資源數。在活的網系統中，資源可以在庫所變遷中不斷流動。

它可以用來檢測協議中的錯誤，死鎖狀態。