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

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