基于Petri網的工作充建模研究及應用.pdf

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

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

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