基于Petri網(wǎng)的工作流時間動態(tài)預測及驗證

目前，工作流管理系統(tǒng)不能有效的處理時間管理問題，為了動態(tài)預測活動發(fā)生的時間間隔，驗證時間的一致性，預知潛在的時間沖突，首先建立基于時間Petri網(wǎng)的擴展工作流網(wǎng)(XTWF一net)，然后根據(jù)工作流管理聯(lián)盟規(guī)定的幾種基本結構推導出時間預測規(guī)則，并采用面向對象技術實現(xiàn)了預測算法，最后給出了動態(tài)驗證的方法和決策策略。
工作 流 目前面臨的一個挑戰(zhàn)是工作流的時間管理，WFMS對此沒有做出相關規(guī)定，實際應用中對時間的控制管理要求日益緊迫，時間問題限制了工作流的廣泛應用川。許多學者開展了相關研究，比如Eder「2一3二基于賦時活動圖，建立包含活動時間屬性的工作流模型;Ma巧anovi沙〕引人延遲空間對不同的時間約束進行可視化描述。W.M.P.vanderAalst對復雜工作流模型結構性質進行了分析仁‘一5〕，在時間推理方面BetiniC等人進行了研究田。但是將Petri網(wǎng)與工作流結合處理時間問題的不多，且只對流程的幾種基本結構分別給出推理規(guī)則川，不利于計算機計算，并且局限于靜態(tài)驗證。本文的貢獻在于:①利用Petri網(wǎng)成熟的建模優(yōu)勢與工作流應用結合建立了一個基于時間Petri網(wǎng)的擴展工作流網(wǎng)(XTWF一net)。②通過分析工作流程基本結構推導出適合非循環(huán)結構的時間動態(tài)預測規(guī)則。③采用面向對象技術和深度優(yōu)先策略實現(xiàn)了時間預測算法。④提出了截止期限驗證方法和決策策略。