抽象的正式模型的資訊流動，顯示靜態和動態屬性的一種系統。A Petri 網通常表示為一個圖有兩種類型的節點 （稱為地方和過渡） 由弧形和標記 （稱為權杖），該值指示動態屬性連接。