网和网系统

六元组构成网系统的条件是

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)。