Petri 网（Petri Net）

网

满足以下条件的三元组$N=(S,T;F)$被称为网:

(1) $S\cup T\ne \varnothing ;$
(2) $S\cap T=\varnothing ;$
(3) $F\subseteq S\times T\cup T\times S;$
(4) $dom(F)\cup cod(F)=S\cup T;$

其中， d o m ( F ) = { x ∣ ∃ x : ( x , y ) ∈ F }