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

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

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

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