基于Petri網(wǎng)的非確定工作流的時(shí)間和資源管理問(wèn)題研究.pdf

1、工作流管理是近年來(lái)計(jì)算機(jī)應(yīng)用領(lǐng)域的熱點(diǎn)之一。對(duì)于工作流的建模有多種方式，其中Petri網(wǎng)是用于工作流建模的一種比較重要和實(shí)用的方法。時(shí)間和資源是工作流系統(tǒng)中兩個(gè)重要的方面，目前基于Petri網(wǎng)的工作流時(shí)間和資源的管理已經(jīng)有了深入的研究，同時(shí)受時(shí)間和資源雙重約束的工作流在實(shí)際生活中也有著廣泛的應(yīng)用。
　　目前，對(duì)非確定工作流的研究大多只關(guān)注了活動(dòng)執(zhí)行時(shí)間的不確定性，而沒(méi)有重視資源準(zhǔn)備時(shí)間的不確定性。本文介紹了一種非確定工作流，這種工

2、作流不但關(guān)注了活動(dòng)執(zhí)行時(shí)間的不確定性，而且考慮了資源準(zhǔn)備時(shí)間的不確定性。
　　本文主要研究了以下幾個(gè)方面的內(nèi)容：
　　第一，給出了非確定工作流（NTA/R_WF）的定義及建模方法。首先給出了非確定工作流的定義，提出了非確定工作流的Petri網(wǎng)模型，然后分析了整個(gè)NTA/R_WF的建模方法。
　　第二，給出了NTA/R_WF_NET的化簡(jiǎn)規(guī)則。文中從可重用資源和不可重用資源兩個(gè)方面出發(fā)，分別給出了NTA/R_WF_NET

3、的化簡(jiǎn)規(guī)則，并針對(duì)每個(gè)化簡(jiǎn)規(guī)則給出了正確性證明。經(jīng)過(guò)化簡(jiǎn)后的模型沒(méi)有對(duì)工作流的完成時(shí)間造成影響，并且比原始模型更加簡(jiǎn)潔和易于分析。
　　第三，給出了NTA/R_WF_NET的時(shí)間性能分析及資源沖突解決方法。首先分析出影響整個(gè)工作流完成的主活動(dòng)和主路徑，然后從可重用資源和不可重用資源兩個(gè)方面給出了一種解決資源沖突的方法——關(guān)鍵活動(dòng)優(yōu)先（KAPS）和等待時(shí)間最短優(yōu)先（WSPS），通過(guò)這種方法分析了任務(wù)的最早執(zhí)行時(shí)間及任務(wù)開始的最晚時(shí)間