以延伸型Petri nets模式描述流程管理四個維度之研究

以作者查詢圖書館館藏

、以作者查詢臺灣博碩士

、以作者查詢全國書目

、勘誤回報

、線上人數：43

、訪客IP：18.119.133.181

姓名

張元斌(Yuan-Bin Chang) 查詢紙本館藏

畢業系所

資訊管理學系

論文名稱

以延伸型Petri nets模式描述流程管理四個維度之研究
(An Extended Petri Net Approach to Model Multidimensional Workflow Management)

相關論文

★ 零售業商業智慧之探討	★ 有線電話通話異常偵測系統之建置
★ 資料探勘技術運用於在學成績與學測成果分析 -以高職餐飲管理科為例	★ 利用資料採礦技術提昇財富管理效益 -以個案銀行為主
★ 晶圓製造良率模式之評比與分析－以國內某DRAM廠為例	★ 商業智慧分析運用於學生成績之研究
★ 運用資料探勘技術建構國小高年級學生學業成就之預測模式	★ 應用資料探勘技術建立機車貸款風險評估模式之研究－以A公司為例
★ 績效指標評估研究應用於提升研發設計品質保證	★ 基於文字履歷及人格特質應用機械學習改善錄用品質
★ 以關係基因演算法為基礎之一般性架構解決包含限制處理之集合切割問題	★ 關聯式資料庫之廣義知識探勘
★ 考量屬性值取得延遲的決策樹建構	★ 從序列資料中找尋偏好圖的方法 - 應用於群體排名問題
★ 利用分割式分群演算法找共識群解群體決策問題	★ 以新奇的方法有序共識群應用於群體決策問題

檔案

[Endnote RIS 格式]

[Bibtex 格式]

[相關文章]

[文章引用]

[完整記錄]

[館藏目錄]

[檢視]

[下載]

本電子論文使用權限為同意立即開放。
已達開放權限電子全文僅授權使用者為學術研究之目的，進行個人非營利性質之檢索、閱讀、列印。
請遵守中華民國著作權法之相關規定，切勿任意重製、散佈、改作、轉貼、播送，以免觸法。

摘要(中)

工作流程管理是個快速發展的技術領域，用以支援企業流程再造以及完成企業全部或部份的自動化作業程序。一個標準化的工作流程模式至少應該包含工作流程、資源、批次案例及時間等四個主要維度資訊的呈現。雖然既有文獻已分別就此四項維度的部份內容進行探討，但就我們所知，尚未有一個工作流程模式可同時有效處理此四項維度資訊。本文中，我們提出一個工作流程時間視窗與資源分派的延伸型派翠網路(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.

關鍵字(中)

★ 時間視窗
★ 資源分派
★ 工作流程
★ 派翠網路

關鍵字(英)

★ Petri nets
★ TRPN
★ workflow
★ resource assignment

論文目次

CHAPTER 1. INTRODUCTION 1
1.1 Motivations and Research Objectives 1
1.2 Organization of the Dissertation 5
CHAPTER 2. LITERATURE REVIEW 6
2.1 Workflow Management 6
2.2 Petri Nets 8
2.2.1 Classical Petri Nets 8
2.2.2 Colored Petri nets 10
2.2.3 Timed Petri nets 12
2.2.4 Object Composition Petri Net 13
2.2.5 WF-net 14
2.3 Time Window Constraints 16
2.4 Resource Allocation 19
CHAPTER 3. THE CONSTRUCT OF TRPN 23
3.1 Places 23
3.2 Transitions 23
3.3 Time window constraint 25
3.4 The TRPN Model 27
3.5 Firing Conditions 28
3.6 Firing Rules 29
3.7 Modeling process routing in TRPN 32
3.8 Modeling Resource Assignment with TRPN 35
CHAPTER 4. FORMAL EXPRESSIONS OF TRPN 39
CHAPTER 5. EXAMPLE 48
5.1 An Example of TRPN 48
5.2 Summary of the Example 55
CHAPTER 6. CONCLUSIONS 57
REFERENCES 59
APPENDIX 66

參考文獻

[1] W.M.P. van der Aalst, “The Application of Petri Nets to Workflow Management,” Journal of Circuits, Systems and Computers, vol. 8, no. 1, pp. 21-66, 1998.
[2] W.M.P. van der Aalst, K.M. van Hee and G.J. Houben, “Modeling and Analyzing Workflow using a Petri-net based approach,” Proceedings of Second Workshop on Computer-supported Cooperative Work, Petri nets related formalisms, pp. 31-50, 1994.
[3] W.M.P. Van der Aalst, “Formalization and verification of event-driven process chains,” Information and Software Technology, vol. 41, pp. 639-650, July 1999.
[4] W M P. van der Aalst, “On the automatic generation of workflow processes based on product structures,” Computers in Industry, vol. 39, pp. 97-111, 1999.
[5] W.M.P. van der Aalst, “Re-engineering Knock-Out Processes,” Decision Support Systems, vol. 30, no. 4, pp. 451-468, 2001.
[6] W.M.P. van der Aalst, “Three good reasons for using a Petri-net-based workflow management system,” Proceedings of the International Working Conference on Information and Process Integration in Enterprises, pp. 179-201, 1996.
[7] W.M.P van der Aalst and A.H.M. Ter Hofstede, “Verification of Workflow Task Structures: A Petri-net-based Approach,” Information Systems, vol. 25, no. 1, pp. 43-69, 2000.
[8] A. Agostini, G. De Michelis and K. Petruni, “Keeping workflow models as simple as possible,” in Proceedings Workshop Computer Supported Cooperative Work, Petri Nets Related Formalisms, Within the 15th Int. Conf. Application and Theory of Petri Nets, pp. 11–29, June 1994.
[9] J.F. Allen, “Maintaining Knowledge About Temporal Intervals,” Communications of the ACM, vol. 26, no. 11, pp. 832-843, 1983.
[10] G. Alpan, M.A. Jafari, “Dynamic Analysis of Timed Petri Nets: A Case of Two Processes and a Shared Resource,” IEEE Transactions on Robotics and Automation, vol. 13, no. 3, pp. 338-346, June 1997.
[11] E. Badouel and J. Oliver, Reconfigurable Nets, a Class of High Level Petri Nets Supporting Dynamic Changes Within Workflow Systems, 1998.
[12] A. Basu and R.W. Blanning, “A Formal Approach to Workflow Analysis,” Information Systems Research, vol. 11, pp. 17-36, March 2000.
[13] F. Chauvet, J.M. Proth, Y. Wardi, “Scheduling no-wait production with time windows and flexible processing times,” IEEE Transactions on Robotics and Automation, vol. 17, pp. 60-69, Feb. 2001.
[14] Y.L. Chen and L.J. Hsiao, “Shipping problems with body clock constraints,” Computers & Operations Research, vol. 30, no. 7, pp. 1037-1049, 2003.
[15] J.E. Coolahan and N. Roussopoulos, “Timing requirements for time driven systems using augmented Petri nets,” IEEE Transactions on Software Engineering, vol. SE-9, pp. 603-616, Sept. 1983.
[16] W. Du and M.C. Shan, “Enterprise workflow resource management,” Proceedings of the Ninth International Workshop on Research Issues on Data Engineering: Information Technology for Virtual Enterprises, pp.108-115, March 1999.
[17] C.A. Ellis and G.J. Nutt, “Modeling and enactment of workflow systems,” in Application and Theory of Petri Nets 1993, M. A. Marsan, Ed. Berlin, Germany: Springer-Verlag, vol. 691, Lecture Notes Computer Science, pp.1–16, 1993.
[18] A.D. Febbraro, D. Giglio, R. Minciardi and S. Sacone, “Optimization of manufacturing systems modelled by timed Petri nets,” In Proceedings of Sixth International Workshop on Discrete Event Systems (WODES’02), pp. 361-367, Oct. 2002.
[19] B. Gaujal, M. Jafari, M.B. Gursoy, and G. Alpan, “Allocation Sequences of Two-Processes Sharing a Resource,” IEEE Transactions on Robotics and Automation, vol. 11, pp. 748-753, Oct. 1995.
[20] A. Giua, C. Seatzu and F. Basile, “Observer-based state-feedback control of timed Petri nets with deadlock recovery,” IEEE Transactions on Automatic Control, vol. 49, Issue 1, pp. 17-29, Jan. 2004.
[21] H. Gou, B. Huang, W. Liu, S. Ren and Y. Li, “Petri-net-based business process modeling for virtual enterprises,” IEEE International Conference on Systems, Man, and Cybernetics, vol. 5, pp. 3183-3188, Oct. 2000.
[22] K. Hasegawa, P.E. Miyagi, D.J. Santos Filho, K. Takahashi, L. Ma, M. Sugisawa, “On resource arc for Petri net modeling of complex resource sharing system,” Journal of International Robotic Systems Theory and Applications, vol. 26, pp. 423-437, 1999.
[23] K.M. van Hee, H.A. Reijers, H.M.W. Verbeek and L. Zerguini, “On the Optimal Allocation of Resources in Stochastic Workflow Nets,” Proceedings of the Seventeenth UK Performance Engineering Workshop, pp. 23-34, 2001.
[24] P.Y. Hsu, Y.B. Chang and Y.L. Chen, “STRPN: a Petri-net approach for modeling spatial-temporal relations between moving multimedia objects,” IEEE Transactions on Software Engineering, v.29, pp. 63-76, Jan. 2003.
[25] P.Y. Hsu, Y.L. Chen and Y.B. Chang, “A Four Dimensional Petri Net Approach for Workflow Management,” In Proceedings of 11th International Conference on Database Systems for Advanced Applications (DASFAA’06), LNCS 3882 Springer, pp. 617-627, 2006.
[26] H.J. Hsu, D.L. Yang and F.J. Wang, “An incremental analysis to workflow specifications,” Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC’05), Dec. 2005.
[27] M. Jeng, X. Xie and M. Peng, “Process Nets with Resources for Manufacturing Modeling and Their Analysis,” IEEE Transactions on Robotics and Automation, vol. 18, no. 6, pp. 875-889, Dec. 2002.
[28] M.D. Jeng and F. DiCesare, “Synthesis using resource control nets for modeling shared-resource systems,” IEEE Transactions on Robotics and Automation, vol. 11, Issue: 3, pp. 317-327, June 1995.
[29] K. Jensen, Coloured Petri Ntes: Basic concepts, Analysis Methods and Practical Use, vol. 1, Berlin, Spring-Verlag, 1992.
[30] K. Jensen, “An introduction to the theoretical Aspects of coloured Petri nets,” LNCS 803, Springer, Berlin Heidelberg New York, pp. 230-272, 1994.
[31] K. Jongwook, A.A. Desrochers, A. C. Sanderson, “Task planning and project management using Petri nets,” IEEE International Symposium on Assembly and Task Planning, pp. 265-271, 1995.
[32] W. Khansa, P. Aygalinc, and J.-P. Denat, “Structural Analysis of p-time Petri Nets,” In Proceedings of the CESA ’96 Imacs Multiconference IEEE-SMC, pp. 127-136, July 1996.
[33] Y.T. Kotb, E. Badreddin, “Synchronization among activities in a workflow using extended workflow Petri nets,” Seventh IEEE International Conference on E-Commerce Technology, pp. 548-551, July 2005.
[34] V. K. Kumar, Ashok and L.S. Ganesh, “Use of Petri Nets for Resource Allocation in Projects,” IEEE Transactions on Engineering Management, vol. 45, pp. 49-56, Feb. 1998.
[35] D. Kumar, S. Harous, “Distributed simulation of timed Petri nets: basic problems and their resolution,” IEEE Transactions on Systems, Man and Cybernetics, vol. 24, Issue: 10, pp. 1498–1510, Oct. 1994.
[36] D. Lefebvre, A. El Moudni, “Firing and enabling sequences estimation for timed Petri nets,” IEEE Transactions on Systems, Man and Cybernetics, Part A, vol. 31, Issue: 3, pp. 153-162, May 2001.
[37] J. Li, Y. S. Fan, and M.C. Zhou, “Timing constraint workflow nets for workflow analysis,” IEEE Transactions on Systems, vol. 33, pp. 179-193, March 2003.
[38] J. Li, Y.S. Fan and M. C. Zhou, “Performance Modeling and Analysis of Workflow,” IEEE Trans. on Systems, Man, and Cybernetics: Part A, vol. 34, no. 2, pp. 229-242, March 2004.
[39] S. Ling and H. Schmidt, “Time Petri nets for workflow modeling and analysis,” Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics (SMC'2000), vol. 4, pp. 3039-3044, Oct. 2000.
[40] G.F. List and M. Cetin, “Modeling traffic signal control using Petri nets,” IEEE Transactions on Intelligent Transportation Systems, vol. 5, pp. 177-187, Sept. 2004.
[41] T.D.C. Little and A. Ghafoor, “Synchronization And Storage Models For Multimedia Objects,” IEEE Journal on Selected Areas in Communications, vol. 8, no. 3, pp. 413-427, 1990.
[42] D. Liu, J. Wang, S.C.F. Chan, J. Sun, L. Zhang, “Modeling workflow processes with colored Petri nets,” Computers in Industry, vol. 49, pp. 267-281, Dec. 2002.
[43] E. Lopez-Mellado, “Simulation of timed Petri net models,” Systems, IEEE International Conference on Man and Cybernetics, vol. 3, pp. 22-25, Oct. 1995.
[44] D.J. Medeiros, E.F. Watson, J.S. Carson and M.S. Manivannan, “Timed Petri nets as a verification tool,” Proceedings of the 1998 Winter Simulation Conference, pp. 547-554, 1998.
[45] T. Murata, “Petri nets: properties, analysis and applications,” Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
[46] E. Oren and A. Haller, “Formal frameworks for workflow modeling,” Technical Report DERI-TR-2005-04-07, Digital Enterprise Research Institute (DERI), April 2005.
[47] J.L. Peterson, Petri Net Theory and the Modeling of Systems, Englewood Cliffs, NJ: Prentice-Hall, 1981.
[48] S. Petkov, E. Oren and A. Haller, “Aspects in Workflow Management,” Technical Report DERI-TR-2005-04-10, Digital Enterprise Research Institute (DERI), April 2005.
[49] C. Ramchandani, “Analysis of asynchronous concurrent system by timed petri nets,” Cambridge, MA: MIT, Project MAC, TR-120, MIT, Feb. 1974.
[50] K. Salimifard, M. Wright, “Petri net-based modelling of workflow systems: An overview,” European Journal of Operational Research, vol. 134, pp. 664-676, 2001.
[51] K. Salimifard and M. Wright, “Petri Net-Based Modeling of Workflow Systems: An Overview”, European Journal of Operational Research, 134(3), pp. 664-676, 2001.
[52] C.D. Simon and Y. Pascal, “Time Window Specification And Validation With Petri Nets,” Emerging Technologies and Factory Automation, 2003. Proceedings. ETFA '03. IEEE Conference, vol. 1, pp. 232-237, Sept. 2003.
[53] J.H. Son and M.H. Kim, “Finding the Critical Path in a Time-Constrained Workflow,” Seventh International Conference on Real-Time Computing Systems and Applications (RTCSA 2000), pp. 102-107, July 2000.
[54] Y. Tang, L. Chen, K.T. He and N. Jing, “SRN: an extended Petri-net-based workflow model for Web service composition,” Proceedings of IEEE International Conference on Web Services, pp. 591-599, July 2004.
[55] H. Traetteberg, “Modeling work: workflow and task modeling,” Proceedings of the International Conference on Computer-Aided Design of User Interfaces, pp. 275-280, 1999.
[56] J.P. Tsai and S.J. Yang, “Timing constraint Petri nets and their application to Schedulability analysis of real-time system specifications,” IEEE Transactions on Software Engineering, vol. 21, pp. 32-49, Jan. 1995.
[57] P.C. Wachtel, B. Benatallah, R. Hamadi, M. O’Dell, and A. Susanto. “A Top-Down Petri Net-based Approach for Dynamic Workflow Modeling,” In Proceedings of the International Conference on Business Process Management (BPM’03), Eindhoven, The Netherlands, June 2003.
[58] WfMC, Workflow Management Coalition Terminology and Glossary (WFMC-TC- 1011), Technical report, Workflow Management Coalition, 1996.
[59] WfMC, Workflow Management Coalition, Interface 1: Process Definition Interchange, Process Model, 1998.
[60] D. Xu, X. He and Y. Deng, “Compositional Schedulability Analysis of Real-Time Systems Using Time Petri Nets,” IEEE Transactions on Software Engineering, vol. 28, no. 10, pp. 984-996, Oct. 2002.
[61] H. Yu and S. Lloyd, “Petri net-based closed-loop control and online scheduling of the batch process plant,” UKACC International Conference on Control '98 (Conf. Publ. No. 455), vol. 2, pp. 1106-1111, Sept. 1998.
[62] M. Zhou, F. DiCesare, ”Parallel and sequential mutual exclusions for petri net modeling of manufacturing systems with shared resources,” IEEE Transactions on Robotics and Automation, vol. 7, pp. 515-527, Aug. 1991.
[63] W.M. Zuberek, “Timed Petri nets in modeling and analysis of cluster tools,” IEEE Transactions on Robotics and Automation, vol. 17, no. 5, pp. 562-575, 2001.
[64] W.M. Zuberek and W. Kubiak, “Timed Petri nets in modeling and analysis of simple schedules for manufacturing cells,” Computers and Mathematics with Applications, vol. 37, no. 11-12, pp. 191-206, 1999.
[65] The Workflow Management Coalition (WfMC) , http://www.wfmc.org/index.html

指導教授

陳彥良、許秉瑜
(Yen-Liang Chen、Ping-Yu Hsu)

審核日期

2006-7-9

推文