[發明專利]檢測和刪除Petri網業務流程中結構冗余的方法及裝置

有效

• 申請號: 201711243523.9
• 申請日: 2017-11-30
• 公開（公告）號: CN108171396B
• 公開（公告）日: 2022-01-28
• 發明（設計）人: 蔣亞坤;趙瑩;陳飛;潘華;梁超;謝宗訊;代飛
• 申請（專利權）人: 云南電網有限責任公司;云南云電同方科技有限公司;云南大學
• 主分類號: G06Q10/06
• 分類號: G06Q10/06;G06Q50/06
• 代理公司: 北京知果之信知識產權代理有限公司 11541
• 代理人: 唐海力;韓來兵

1.一種檢測和刪除Petri網業務流程中結構冗余的方法，其特征在于，包括：

將Petri網業務流程展開為完備前綴展開圖；

生成與所述完備前綴展開圖對應的關聯矩陣；

對所述關聯矩陣進行識別，并得到輸入隱式庫所、輸出隱式庫所和短隱式庫所，其中：所述輸入隱式庫所為：在所述完備前綴展開圖中，前集為空的條件節點對應的庫所；所述輸出隱式庫所為：在所述完備前綴展開圖中，后集為空的條件節點對應的庫所；所述短隱式庫所為：在所述完備前綴展開圖中，前集和后集相同的兩個或多個條件節點對應的庫所；

對所述完備前綴展開圖進行識別，得到長隱式庫所；

從所述Petri網業務流程中刪除隱式庫所，所述隱式庫所包括輸入隱式庫所、輸出隱式庫所、短隱式庫所和長隱式庫所；

所述對所述關聯矩陣進行識別，并得到輸入隱式庫所，包括：

掃描所述關聯矩陣的行向量，若存在行向量a_ij對應的所有賦值只有1和0、且不存在-1，則條件節點c_i所對應的所述Petri網業務流程中的庫所p_m為輸入隱式庫所；

所述對所述關聯矩陣進行識別，并得到輸出隱式庫所，包括：

掃描所述關聯矩陣的行向量，若存在行向量a_ij對應的所有賦值只有-1和0、且不存在1，則條件節點c_i所對應的所述Petri網業務流程中的庫所p_m為輸出隱式庫所；

所述對所述關聯矩陣進行識別，并得到短隱式庫所，包括：

掃描所述關聯矩陣的行向量，若存在行向量a_ij和a_pq的每個賦值均相等，則條件節點c_i和條件節點c_p在所述Petri網業務流程中的分別對應的庫所p_m和p_n為短隱式庫所；

所述對所述完備前綴展開圖進行識別，得到長隱式庫所，包括：

從所述完備前綴展開圖中識別出所有后集元素大于1的事件節點的集合，記為E_f；

從所述完備前綴展開圖中識別出所有前集元素大于1的事件節點的集合，記為E_c；

計算出由E_c中的起始節點和E_f中的結束結束節點分別作為分叉節點和匯聚節點所組成的所有TT結構，該TT結構的分叉節點為E_f中的元素e_i，匯聚節點為E_c中的元素為e_j；分叉節點是指該元素的出度大于1；匯聚節點是指該元素的入度大于1；

遍歷所有計算出的TT結構，若所述TT結構中存在路徑e_ip₀e_j，則p₀為長隱式庫所。

2.根據權利要求1所述的檢測和刪除Petri網業務流程中結構冗余的方法，其特征在于，所述將Petri網業務流程展開為完備前綴展開圖，包括：

將所述Petri網業務流程使用McMillan’算法生成所述完備前綴展開圖；包含：條件節點、事件節點和弧；所述條件節點為所述Petri網業務流程中的庫所，所述事件節點為所述Petri網業務流程中的變遷；所述弧為所述Petri網業務流程中的弧；

所述的條件節點的命名方式為pi-j，其中pi表示所述條件節點在所述Petri網業務流程中對應的庫所pi，j表示所述條件節點在所述完備前綴展開圖中被構造出現的先后次序；所述事件節點的命名方式為ti-j，其中ti表示所述事件節點在Petri網業務流程中對應的變遷ti，j表示所述事件節點在所述完備前綴展開圖中被構造出現的先后次序。

3.根據權利要求1所述的檢測和刪除Petri網業務流程中結構冗余的方法，其特征在于，所述生成與所述完備前綴展開圖對應的關聯矩陣，包括：

根據所述完備前綴展開圖中的所述條件節點的總數m和事件節點的總數n，生成一個關聯矩陣A_m*n。