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

有效

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

本申請公開了一種根據本申請的檢測和刪除Petri網業務流程中結構冗余的方法及裝置。該方法包括：將Petri網業務流程展開為完備前綴展開圖；生成與所述完備前綴展開圖對應的關聯矩陣；對所述關聯矩陣進行識別，并得到輸入隱式庫所、輸出隱式庫所和短隱式庫所；對所述完備前綴展開圖進行識別，得到長隱式庫所；從所述Petri網業務流程中刪除隱式庫所；本申請達到了簡化Petri網業務流程的目的，從而實現了業務流程模型更加利于閱讀和理解的技術效果，進而解決了由于Petri網業務流程模型的結構很復雜、存在結構冗余的的技術問題。

技術領域

本申請涉及電力系統自動化技術領域，具體而言，涉及一種檢測和刪除 Petri網業務流程中結構冗余的方法及裝置。

背景技術

根據云南電網調度中心電力調度的業務特點，一個完整的電力調度業務流程，從縱向看，會涉及省、地、縣三級調度機構間的業務協同；從橫向看，會涉及同級部門間的業務對接。為了直觀圖形化的描述電力調度流程，云南電網公司根據自身需求，編制了電力調度流程的描述格式及交換規范。雖然通過制定流程的描述格式及交換規范實現了異構系統間的流程信息交互，但這些電力調度業務流程缺少形式語義，無法確保業務流程不存在死鎖、死任務和活鎖。相關技術中具有如何電力調度業務流程轉換Petri 網的方法。但是，針對這些Petri網業務流程，還存在下述技術問題：有些 Petri網業務流程模型的結構簡單，而有些Petri網業務流程模型的結構卻很復雜、存在結構冗余。這種結構冗余的業務流程模型不利于閱讀和理解。

發明內容

本申請的主要目的在于提供一種檢測和刪除Petri網業務流程中結構冗余的方法，以解決Petri網業務流程模型的結構很復雜、存在結構冗余的問題。

為了實現上述目的，根據本申請的一個方面，提供了一種檢測和刪除 Petri網業務流程中結構冗余的方法及裝置。

根據本申請的檢測和刪除Petri網業務流程中結構冗余的方法，包括：

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

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

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

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

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

進一步的，如前述的檢測和刪除Petri網業務流程中結構冗余的方法，其特征在于，所述將Petri網業務流程展開為完備前綴展開圖，包括：

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

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

進一步的，如前述的檢測和刪除Petri網業務流程中結構冗余的方法，其特征在于，所述生成與所述完備前綴展開圖對應的關聯矩陣，包括：