基于Petri網(wǎng)的工作充建模研究及應(yīng)用.pdf

1、工作流概念起源于生產(chǎn)組織和辦公自動(dòng)化領(lǐng)域，是針對(duì)日常工作中具有固定程序活動(dòng)而提出的一個(gè)概念，目的是通過(guò)將工作分解成定義良好的任務(wù)或角色，按照一定的規(guī)則和過(guò)程來(lái)執(zhí)行這些任務(wù)并對(duì)其進(jìn)行監(jiān)控，達(dá)到提高工作效率、更好的控制過(guò)程、增強(qiáng)對(duì)客戶(hù)的服務(wù)、有效管理業(yè)務(wù)流程等目的。
　　 傳統(tǒng)的工作流產(chǎn)品對(duì)信息的時(shí)效性缺乏關(guān)注和處理能力，本文將時(shí)間維度引入到傳統(tǒng)的工作流概念空間，使之從過(guò)程、資源、案例三維擴(kuò)展為過(guò)程、資源、案例、時(shí)間四維。由于時(shí)間屬

2、性對(duì)各種元素的重要性不同，本文將權(quán)值的思想引入到概念空間，在此基礎(chǔ)上提出了一種帶權(quán)的時(shí)間工作流概念。
　　 通過(guò)建立帶權(quán)時(shí)間工作流模型WTPWF-Net(帶權(quán)時(shí)間工作流網(wǎng)絡(luò))，給出了其元模型和過(guò)程模型，對(duì)過(guò)程模型的三個(gè)組成實(shí)體：過(guò)程、活動(dòng)、子過(guò)程進(jìn)行了描述，給出了從工作流概念到模型元素之間的映射方法，定義了一種查找變遷。在過(guò)程模型的基礎(chǔ)上，根據(jù)傳統(tǒng)工作流網(wǎng)絡(luò)約束條件，給出了WTPWF-Net的形式化描述，包括十點(diǎn)約束條件，給出了

3、WTPWF-Net的動(dòng)態(tài)語(yǔ)義，包括普通變遷的使能、實(shí)施，查找變遷的使能、實(shí)施，WTPWF-Net的可達(dá)性，為接下來(lái)的模型驗(yàn)證提供了理論基礎(chǔ)。
　　 本文對(duì)帶權(quán)時(shí)間工作流模型進(jìn)行了合理性驗(yàn)證與分析，對(duì)WTPWF-Net進(jìn)行了結(jié)構(gòu)化建模規(guī)則分析，根據(jù)相關(guān)文獻(xiàn)，結(jié)合WTPWF-Net的特點(diǎn)，本文給出了WTPWF-Net的七種基本結(jié)構(gòu)，通過(guò)定性指標(biāo)對(duì)WTPWF-Net進(jìn)行了時(shí)間一致性約束分析。隨后，利用該模型對(duì)本文所涉及到的物資管理系統(tǒng)