Petri網的結構
壹個已標識的Petri網是壹個六元組：
PN={P，T，F，K，W，M0}，
其中
P={P1，P2，…Pm，}，庫所集，
T={T1，T2，…Tm，}，變遷集，
F（P×T）∪（T×P），弧集， ?
K：P→N+∪{ω}，庫所容量函數，
K（P）=ω表示P的容量為無窮，N+={1，2，…}，
W：F→N+，弧上權，
M0：P→N，初始標誌，要求：P∩T=，P∪T≠ф，
M：P→N，N={0，1，2，…}，網的標識，且
Pi?P，M（Pi）≤K（Pi），i=1，…m。（ P，T，F）被稱為PN的基網，記為N。
Petri網的圖形表示就是壹種有向圖，它包括兩類節點：庫所（用圓表示）和變遷（用短線表示）。弧用來表示流關系。Petri網的狀態由標識M來表示，在某壹時刻的標識決定該PN的狀態。圖1表示壹個已標識的PN，各庫所包含整數（正或零）個標記（稱為token或marking），用圓點表示，初始標識M0=（1，0，0，0，0），下文稱為令牌。
標識在Petri網中的變化遵循壹定的規則——變遷規則：（1）壹個變遷，如果它的每壹個輸入庫所（庫所到變遷存在有向弧）都包含至少壹個標記，則這個變遷是使能的；（2）壹個使能變遷的激發，將引起其每個輸入庫所中標記減少，而每個輸出庫所（變遷到庫所存在有向弧）中增加標記。