臺灣博碩士論文加值系統

一個工作流程從開始到完工會經過許多不同的生產路線和生產成本，而生產成本也是每個企業公司所關注的一項議題，若能事先預估那些生產路線的生產成本是最低的，就能夠在正式生產產品時以最低生產成本的路線去生產產品，這樣能為企業公司減少過多的資源浪費進而提升生產效率。
在這篇論文中目的是要從一個workflow net中所有的路徑中找到最低成本的路徑，所以我們提出Work Flow Nets with Cost (WFNC)是有包含成本參數的workflow net，利用此WFNC模型，在利用我們提出的方法便能從WFNC中找到最佳成本的路徑。製造產品的公司便利用最佳成本的路徑去生產產品。

Management of workflows has become a vital technology both for industrial production and business management. A good workflow system helps companies to gain operation efficiency through effectively allocation of human resources while avoiding delay caused by human errors. An important issue in workflow management system is to optimize the total operation efficiency by minimizing the overall cost. The goal of this paper is to find a minimal cost workflow from the set of all possible routings. We propose a model called Work Flow Nets with Cost (WFNC) that adds cost parameters to the corresponding Workflow nets. By using WFNC model, our proposed method finds the lowest cost workflow from WFNC. The lowest cost workflow provides manufacturers with minimum cost routing to produce products.

目錄
中文摘要 II
Abstract III
目錄 IV
表目錄 VII
圖目錄 VIII
第一章 簡介 1
1.1 研究背景 1
1.2 研究動機 1
1.3 研究目標與方法 4
1.4 論文架構 5
第二章 相關研究 6
2.1 Petri Net簡介 6
2.1.1 Petri Net 符號單元 6
2.1.2 Petri Net 特性 7
2.1.3 Petri Net Subclass 8
2.2 Workflow Net 11
2.2.1 Workflow Net 定義 11
2.2.2Workflow Net 特性 12
2.3 工作流程定義語言 12
2.3.1 PNML 12
2.4 工作流程繪圖軟體 13
2.4.1 WoPeD 13
2.4.2 Pipe V2 14
第三章 系統架構 15
3.1 系統運作流程 15
3.2系統架構概述 15
3.3搜尋流程 20
3.3.1搜尋演算法Algorithm(Search) 20
3.3.2 演算法流程圖 22
3.3.3 Workflow model搜尋步驟 23
第四章 實驗結果 29
4.1 PNML模型 29
4.2 執行結果 30
第五章 結論 35
參考文獻 36
附錄A PNML標準格式 40
附錄 B 程式操作步驟 41

表目錄
表2. 1PETRI NET 元素名稱說明 6
表2. 2 PRE-SET AND POST SET 標籤 9

圖目錄
圖1. 1 WORKFLOW MODEL 3
圖1. 2 WORKFLOW MODEL 2 4
圖2. 1 INPUT AND OUTPUT TRANSITION OF P SYMBOLS 10
圖2. 2 INPUT AND OUTPUT PLACES OF T SYMBOLS 10
圖2. 3 STATE MACHINE NET 11
圖2. 4 MARKED GRAPH NET 11
圖2. 5 FREE CHOICE NET 12
圖2. 6 WOPED使用者編輯介面 14
圖2. 7 PIPE V2 使用者編輯介面 15
圖3. 1 演算法流程圖 23
圖3. 2 WORKFLOW FRAGMENT 1 24
圖3. 3 WORKFLOW FRAGMENT 2 24
圖3. 4 WORKFLOW FRAGMENT 3 25
圖3. 5 WORKFLOW FRAGMENT 4 25
圖3. 6 WORKFLOW FRAGMENT 5 26
圖3. 7 WORKFLOW FRAGMENT 6 27
圖3. 8 WORKFLOW FRAGMENT 7 28

圖 4. 1工作流程 GUI介面圖形 30
圖 4. 2使用者介面(未執行前) 31
圖 4. 3使用者介面(執行後) 32
圖 4. 4最佳成本路徑 33
圖 4. 5工作流程模型 34
圖 4. 6使用者介面(執行前) 35
圖 4. 7使用者介面(執行後) 35
圖 4. 8最佳成本路徑 36
圖 4. 9 AND-SPLIT 工作流程模型 37
圖 4. 10 OR-SPLIT 工作流程模型 37

[1] Goell, Ric Scott, “Workflow: what is it?”, International Journal of Micrographics & Optical Technology ,Vol.13, Issue: 1, March, 1995, pp. 9-12
[2] Murata, T, “Petri nets: Properties, analysis and applications,” Proceedings of the IEEE, Vol. 77, Issue 4, April ,1989, pp. 541- 580.
[3] Wei Tan, Yushun Fan ,Dynamic workflow model fragmentation for distributed execution Computers in Industry, Volume 58, Issue 5, June 2007, pp. 381-391
[4] Fu-Shiung Hsieh ,Analysis of Flexible Assembly Processes Based on Structural Decomposition of Petri Nets;Systems, Man and Cybernetics, Part A, IEEE Transactions on Volume 37, Issue 5, Sept. 2007 Page(s):792 - 803]
[5] Fu-Shiung Hsieh ,Reconfigurable deadlock avoidance algorithm for flexible assembly processes based on structural decomposition;Systems, Man and Cybernetics, 2005 IEEE International Conference on Volume 3, 10-12 Oct. 2005 Page(s):2049 - 2054 Vol. 3]
[6] JianQiang Li; YuShun Fan; MengChu Zhou, Timing constraint workflow nets for workflow analysis;Systems, Man and Cybernetics, Part A, IEEE Transactions on Volume 33, Issue 2, March 2003 Page(s):179 – 193
[7]PNML http://move.lip6.fr/software/PNML/index.html
[8]Relax-nghttp://www.oasis-open.org/committees/tc_home.php?wg_abbrev=relax-ng
[9] JDOM http://www.jdom.org/ An overview European Journal of Operational
[10] W.M.P Van der Aalst,The application of Petri nets to workflow management,Journal of Circuits Systems and Computers 8(1)(1998)21-66
[11] Changjun Jiang ,Analysis of workflow dynamic changes based on Petri net Informationand Software Technology, InPress,CorrectedProof, Available online 19 February 2008 Ping Sun.
[12] Khodakaram Salimifard, Mike Wright ,An overview European Journal of Operational Research, Volume 134, Issue 3, 1 November 2001, Pages 664-676
[13] Wil M. P. van der Aalst, Arthur H. M. ter Hofstede ,Verification of Workflow Task Structures: A Petri-Net-Based Approach Information Systems, Volume 25, Issue 1, 2000, Pages 43-69
[14]YuHuang,Hanpin Wang, Peng Yu, Yunni Xia,Property-Transition-Net-Based Workflow Process Modeling and Verification Electronic Notes in Theoretical Computer Science, Volume 159, 24 May 2006, Pages 155-170
[15] Seungchul Ha, Hyo-Won Suh ,A timed colored Petri nets modeling for dynamic workflow in product development process Computers in Industry, Volume 59, Issues 2-3, March 2008, Pages 193-209
[16] Dongsheng Liu, Jianmin Wang, Stephen C. F. Chan, Jiaguang Sun, Li Zhang ,Modeling workflow processes with colored Petri nets Computers in Industry, Volume 49, Issue 3, December 2002, Pages 267-281
[17] Wang, J.; Deng, Y.; Xu, G.,Reachability analysis of real-time systems using time Petri nets;Systems, Man, and Cybernetics, Part B, IEEE Transactions on Volume 30, Issue 5,Oct. 2000 Page(s):725 - 736