六元组构成网系统的条件是
N=(S,T;F)为有向网,称为的基网
N=(S,T;F)为有向网满足:
K,W,依次称为N上的容量函数,权函数,标识。称为的初始标识(initial marking)
W是网络的权函数,W(x,y)表示从x到y的弧(x,y)的权值
K是网络的容量函数,K(p)表示库所p的最大容量
是网络的一个初始表示,对任意一个库所P,M(p)表示p中的Token数目
(1)当 K ≡1 ,W ≡1 时称为条件/事件网,也称基本网系统;记作EN-系统(Elementary Net)。
(2)当 K ≡ω ,W ≡1 时称为库所/变迁网 ,记作:P/T_网(Place/Transition Net)。这就是传统上称为Petri网的网系统。
(3) 当K和W均为任意函数时(即:K<ω,W<ω),称为库所/变迁系统,记作:P/T _系统( Place/Transition System)。