工作流程管理是個快速發展的技術領域，用以支援企業流程再造以及完成企業全部或部份的自動化作業程序。一個標準化的工作流程模式至少應該包含工作流程、資源、批次案例及時間等四個主要維度資訊的呈現。雖然既有文獻已分別就此四項維度的部份內容進行探討，但就我們所知，尚未有一個工作流程模式可同時有效處理此四項維度資訊。本文中，我們提出一個工作流程時間視窗與資源分派的延伸型派翠網路(Time Window Constraints with Resource Assignment Petri net for Workflow Management)，簡稱為TRPN模式，用以同時描述工作流程的四項維度資訊語意。為了清楚描述這些資訊語意，本模式於傳統派翠網路中，延伸新的places、transitions以及觸發規則，使得工作流程的流程控制與資源的分派得以適當表示。此外，本模式在places及transitions中都可指定時間視窗，以模擬工作事項與資源大多具有工作時間的事實。其次，為了確保資源能夠適當使用，並且精確得到每個批次案例的執行時間，本模式也提供了一套模式組裝規則，以及資源分派的演算法。最後，我們証明了本模式的正確性，並提供一個產品裝配線的簡例，來說明本模式的作業方式。 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.
