[發明專利]一種基于時間著色Petri網的網絡資源配置方法

在審

• 申請號: 202010193881.9
• 申請日: 2020-03-18
• 公開（公告）號: CN111404748A
• 公開（公告）日: 2020-07-10
• 發明（設計）人: 于汪洋;賈萌韓;王小明;李鵬;張立臣;林亞光
• 申請（專利權）人: 陜西師范大學
• 主分類號: H04L12/24
• 分類號: H04L12/24;H04L12/911
• 代理公司: 北京前審知識產權代理有限公司 11760
• 代理人: 陳姍姍;張靜

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中的整合具體為：

通過對所述分塊化的各個模型的公共位置的變遷或者庫所進行合并。