[发明专利]一种基于时间着色Petri网的网络资源配置方法

权利要求书

1.一种基于时间着色Petri网的网络资源配置方法，包括如下步骤：

S100：通过时间着色petri网对要进行资源配置的网络进行分块化的建模；

S200：对上述分块化的模型进行整合得到最终的TCPN模型；

S300：采用所述最终的TCPN模型对网络资源进行配置。

2.根据权利要求1所述的方法，所述S100步骤中的时间着色petri网具体定义为：时间着色Petri网是一个九元组TCPN＝(P，T，A，∑，V，C，G，E，I)，其中，优选的：

1)P是一组有限的库所集，用圆圈来表示；

2)T是一组有限的变迁集T，使得用矩形来表示；

3)是一组有向弧集，用有向弧来表示；

4)∑是一组有限的非空颜色集；

5)V是一组有限的类型变量，使得Type[v]∈∑对所有变量v∈V，其中颜色集都是带有时间戳的；

6)C：P→∑是一个为每个库所指定颜色集的函数；

7)G：T→EXPR_V是一种判定函数，它为每个变迁t指定一个布尔表达式，使Type[G(t)]＝Bool；

8)E：A→EXPR_V是一个弧表达式函数，它将弧表达式赋给每个弧a，使得Type[E(a)]＝C(p)_MS，其中p是连接到弧a的库所，MS表示多重集；

9)I：是一个标识初始化函数，使Type[I(p)]＝C(p)_MS，其中MS表示多重集。

3.根据权利要求2所述的方法，所述S100步骤中的分块化建模之前还包括给出模型的数据类型定义的步骤。

4.根据权利要求3所述的方法，所述的数据类型定义是以函数式编程语言标准ML为基础建立的CPI ML语言。

5.根据权利要求2所述的方法，所述S100步骤中的分块化建模中在活动变迁上加入了时间延迟函数。

6.根据权利要求2所述的方法，所述步骤S200中的整合具体为：

通过对所述分块化的各个模型的公共位置的变迁或者库所进行合并。