1、業(yè)務(wù)流程模型主要由數(shù)據(jù)流和控制流兩部分組成，這兩者及其之間的關(guān)系包含了業(yè)務(wù)流程的建模、模型的分析與執(zhí)行的重要信息，對(duì)流程模型的結(jié)構(gòu)和行為有重要的約束作用。工程師在為公司企業(yè)設(shè)置業(yè)務(wù)流程時(shí)，由于各自的側(cè)重角度不同，所設(shè)置的流程也會(huì)不盡相同，并不是所設(shè)計(jì)出的業(yè)務(wù)流程都能按照流程管理的要求順利執(zhí)行，而且數(shù)據(jù)流在模型中的傳播與變化使得流程模型的執(zhí)行結(jié)果出現(xiàn)多樣化與不確定性，因此，對(duì)數(shù)據(jù)約束下的業(yè)務(wù)流程模型的分析顯得尤為重要?？紤]到Petri網(wǎng)目

2、前作為建模工具能將業(yè)務(wù)流程問(wèn)題轉(zhuǎn)化成網(wǎng)絡(luò)模型問(wèn)題，并將對(duì)業(yè)務(wù)流程的分析轉(zhuǎn)化為對(duì)流程模型的分析。所以，目前分析數(shù)據(jù)約束下的業(yè)務(wù)流程Petri網(wǎng)模型的變化域并對(duì)其控制是業(yè)務(wù)流程管理的重點(diǎn)。
　　目前，在此方面的研究主要集中在從控制流方面尋找流程模型的變化域，并從模型結(jié)構(gòu)及行為語(yǔ)義方面對(duì)其進(jìn)行優(yōu)化控制，而忽略了模型中數(shù)據(jù)信息的傳播與變化對(duì)業(yè)務(wù)流程執(zhí)行結(jié)果的影響。而且，現(xiàn)有的考慮到數(shù)據(jù)流信息對(duì)業(yè)務(wù)流程影響的研究也大多只局限于數(shù)據(jù)形式，幾乎

3、沒(méi)有給出直觀(guān)的數(shù)據(jù)流模型，并且在尋找模型的變化域時(shí)自覺(jué)地排除了數(shù)據(jù)流信息產(chǎn)生的錯(cuò)誤信息，具有很大的局限性。為提高對(duì)數(shù)據(jù)約束下的業(yè)務(wù)流程Petri網(wǎng)模型的分析效率，快速尋找出數(shù)據(jù)約束下的業(yè)務(wù)流程Petri網(wǎng)的變化域，并對(duì)其進(jìn)行控制優(yōu)化，本文主要從以下三個(gè)方面來(lái)研究:
　　1)針對(duì)業(yè)務(wù)流程Petri網(wǎng)的合理性問(wèn)題，工作流網(wǎng)的合理性是確保該工作流網(wǎng)能夠終止并且每一個(gè)任務(wù)都不會(huì)使工作流網(wǎng)出現(xiàn)死鎖或陷入無(wú)限循環(huán)，也是保證該工作流網(wǎng)不存在變化

4、域的首要條件。目前對(duì)業(yè)務(wù)流程合理性確定的技術(shù)大多局限于控制流領(lǐng)域，而沒(méi)有考慮數(shù)據(jù)信息。本文以自動(dòng)售貨系統(tǒng)的流程為例，基于業(yè)務(wù)流程Petri網(wǎng)的數(shù)據(jù)流和控制流分析其合理性，此方法不僅從控制流上分析了業(yè)務(wù)流程Petri網(wǎng)模型的合理性，還進(jìn)一步從數(shù)據(jù)信息方面加強(qiáng)了對(duì)數(shù)據(jù)約束下的業(yè)務(wù)流程Petri網(wǎng)模型合理性的判斷。
　　2)針對(duì)業(yè)務(wù)流程Petri網(wǎng)模型的變化域的確定問(wèn)題，已有的研究都是單方面從業(yè)務(wù)流程控制流方面考慮，通過(guò)給定的變化節(jié)點(diǎn)來(lái)

5、搜索變化范圍，或者通過(guò)研究源模型與一個(gè)正確的參照模型的非一致性來(lái)尋找模型的變化區(qū)域，這些方法都具有一定的局限性。本文在Petri網(wǎng)和行為輪廓理論的基礎(chǔ)上，在沒(méi)有目標(biāo)模型且數(shù)據(jù)信息出現(xiàn)變化傳播的情況下，給出了尋找數(shù)據(jù)約束下的業(yè)務(wù)流程Petri網(wǎng)模型變化域的方法，該方法充分考慮了數(shù)據(jù)信息在業(yè)務(wù)流程Petri網(wǎng)中的影響，克服了已有的單方面從控制流關(guān)系上分析模型變化域而忽略數(shù)據(jù)信息的變化傳播的影響所帶來(lái)的缺陷。
　　3)針對(duì)業(yè)務(wù)流程模型的