Petri網是一種適合於系統描述和分析的數學模型，主要描述異步和並發關系。（或者Petri網是對離散並行系統的數學表示，適用於描述異步的，並發的計算機系統模型。）
Petri網模型自然，直觀，簡單易懂的描述了在分析並行系統的狀態行為的技術。
Petri網主要用於：計算機協議模型、柔性系統模型、計算機集成制造、人工智能、系統分析等領域。
Petri網由位置（P），變遷（T），有向弧線，令牌（token）所構成，其中P表示狀態元素，T為變化元素，有向弧線既可以由P到T,又可以由T到P，token表示一種屬性。其中P,T平等。T由P來描述，P由T而變化，T引起P中資源流動，F聯系P,T。Petri網可描述為：{S,T,F,M0} S：表示狀態，T：表示變化條件，F：表示有向弧，M0表示令牌的初始位置。
Petri網的與運算描述為：
Petri網的直觀理解：
用Petri網描述的系統有一個共同的特征：系統的動態行為表現為資源（物質資源和信息資源）的流動。
為了便於理解，先通過分布式系統的幾個基本行為模型，描述的例子對Petri網做一個直觀的說明：一個Petri網的結構元素包括：庫所（place）、變遷（transition）和弧（arc）。庫用於描述可能的系統局部狀態，例如：計算機和通信系統的隊列、緩沖、資源等。變遷用於描述修改系統狀態的事件。例如：計算機和通信系統的信息處理、發送、資源的存取等。弧通過指向來規定局部狀態和事件之間的關系。
在Petri網模型中，托肯包含在庫所中，他們在庫所中的動態的變化表示系統的不同狀態。如果一個庫所描述一個條件，它可以包含或者不包含托肯，也可以包含多個托肯。當庫所中包含托肯時，條件為真；否則條件為假。如果一個庫所定義一個狀態，在這個庫所中的托肯個數用於數量化這個狀態。例如：在計算機和通信系統中，托肯可以表示處理的信息單元，資源單元和顧客、用戶等對象實體。
一個Petri網模型的動態行為是由它的實施規則規定的，當使用等於1的弧權時，如果一個變遷的所有輸入庫所（這個庫所連接到這個變遷，弧的方向是從庫所到變遷）至少包含一個托肯，那么這個變遷使能（相關聯的時間發生）。一個使能的變遷的觸發導致從它所有的輸入庫中清楚1個托肯，在它的每一個輸出庫所（這些位置連接到這個變遷，弧的方向從變遷到位置）中產生1個托肯。當使用大於1的弧權時，在變遷的每一個輸入庫所中都要包含至少等於連接弧權的托肯個數，它才使能；這個變遷的觸發將清除在該變遷的每一個輸入庫所中的相應的托肯個數，並在變遷的每一個輸出庫中所產生相應的托肯個數。變遷的觸發是原子操作，清楚輸入庫所的托肯和在輸出庫所產生托肯時1個不可分割的完整操作。