模糊petri网的组成

一个模糊Petri 网形式地用七元组:FPetriNet = {P ,T , I , Q, R(t) , F(t) , S0(P) }表示。

其中：

P是一个模糊位置结点的有限集合；

T是一个模糊转移结点的有限集合；

I是PxT上的一个带标识的模糊关系，表示位置结点到转移结点的连接情况和连接线上的额定输入量、输入强度计算函数S以及相应的连接强度；

Q是TxP上的一个带标识的模糊关系，表示转移结点到位置结点的连接情况和连接线上的额定输出量、标记增量计算函数R以及相应的连接强度；

R(t)是定义在T上的一个取值于[0 ，无穷大)中实数的函数,表示转移结点的点火阂限；

F(t)是定义在T上的一个映象，它把T中的转移结点t 映象为一个定义在其各输入量上的单调递增的非负函数，称为结点t的状态转移控制函数；

S0(P)是定义在尸上的一个取值于（0，无穷大)中实数的函数，表示位置结点在运行开始时的初始标记状态，亦称初始资源分配。