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