佩特里網

佩特里網 （ Petri net ） ， 又譯爲裴氏網 、 派翠網路 ， 是對離散並行系統的數學表示 。 佩特里網屬於離散事件動態系統 ， 是1960年代由卡爾 · 亞當 · 佩特里發明的 ， 適合於描述異步的 、 併發的計算機系統模型 。 佩特里網既有嚴格的數學表述方式 ， 也有直觀的圖形表達方式 。 由於佩特里網能表達併發的事件 ， 被認爲是自動化理論的一種 。 研究領域趨向認爲佩特里網是所有流程定義語言之母 。