An Extended Petri Net Approach to Model Multidimensional Workflow Management

• Main Authors: Yuan-Bin Chang, 張元斌
• Other Authors: Yen-Liang Chen
• Format: Others
• Language: en_US
• Published: 2006
• Online Access: http://ndltd.ncl.edu.tw/handle/23scfe

博士 === 國立中央大學 === 資訊管理研究所 === 94 === Workflow management is a quickly evolving technology that can support business process reengineering and accomplish full or partial automatic processing of a business. A formal workflow model should contain at least four major dimensions: process, resource, case, and time. Although each of these four dimensions has been separately addressed in previous research, to the best of our knowledge, no existing research has modeled workflow with the four dimensions simultaneously. In this dissertation, we present an extended Petri net model, named TRPN (Time window constraints with Resource assignment Petri Net), to model the four dimensions of workflow simultaneously. To describe the four major dimensions of workflow, the model is equipped with new places, transitions, and firing rules, so that process routing and resource assignments can be properly specified. Furthermore, we add the time window constraints into both transitions and places. Finally, to guarantee that resources are appropriately consumed and the execution time of each case is correctly calculated in the modeled processes, a formal set of TRPN composition rules is designed and the proof of correctness is shown.