基于時間Petri網(wǎng)的分布式協(xié)同工作流研究.pdf

1、分布式協(xié)同工作環(huán)境是允許群體成員共享和交換信息，體現(xiàn)分布、交互、并發(fā)、協(xié)同系統(tǒng)工程思想，通過相互合作來完成一項任務的計算機系統(tǒng)。地域分布性、異步協(xié)同性、同步協(xié)同性和流程合理性分別反映了分布式協(xié)同工作環(huán)境中業(yè)務過程的地理空間、時間空間和行為空間特點。
　　工作流管理技術是通過調用有關信息資源和人力資源來協(xié)調業(yè)務過程中的各個環(huán)節(jié)，使之按一定的順序執(zhí)行，從而實現(xiàn)業(yè)務過程自動化和業(yè)務過程管理，完成業(yè)務過程目標。
　　Petri網(wǎng)作為

2、一種用于并發(fā)系統(tǒng)建模和分析的重要工具，它是一種具有對系統(tǒng)較強的模擬能力，并且可用圖形化來表示的模型，使其能以直觀的方式表達系統(tǒng)中的并發(fā)、順序、沖突、同步、共享等關系?；赑etri網(wǎng)的建模方法具有足夠的靈活性和可靠性，有效解決復雜的工作流建模和動態(tài)工作流建模問題，為分布式協(xié)同工作流發(fā)展奠定了堅實的基礎。時間Petri網(wǎng)是非常適合描述實時系統(tǒng)的模型工具，在網(wǎng)中加入時間因素，為實際系統(tǒng)的模擬和分析帶來了方便。
　　由于時間Petri網(wǎng)

3、工作流不能有效解決存在多粒度、多時區(qū)時間約束這類問題，因此本文通過分析時間Petri網(wǎng)工作流模型的局限性，建立了一個新的時間Petri網(wǎng)工作流模型表示――擴展的時間Petri網(wǎng)工作流（XTPN-WF）。通過構建規(guī)則，可將多個時間Petri網(wǎng)工作流合并為一個XTPN-WF以描述并行流程中的時間約束；通過引入與時區(qū)相關的時間映射函數(shù)，XTPN-WF可以描述分布于不同時區(qū)的流程。最后給出一個利用XTPN-WF描述分布式企業(yè)中業(yè)務流程的示例來描