臺灣博碩士論文加值系統

派翠西網路是用於架構以及描述系統的一種塑模工具，藉由派翠西網路的性質，可以分析不同狀態所呈現的事件。然而，當派翠西網路系統過於龐大時，事件狀態的複雜度也相對地提高。在本篇論文中，我們使用布林函數提出一種新的塑模方法–BFPN（Boolean-Function Based Petri Net），建立用以描述系統中狀態轉換的BFPN-PTP（Place-Transition-Place）表，降低因事件過多所造成的高複雜度狀態，並且用以清楚地描述複雜的系統轉換過程。本文使用企業資源規劃的庫存管理系統有關的案件和自動烘衣機系統為例，藉由使用不同的建模系統，分析其優勢和弱點。

Petri Nets is a modeling tools use to build and describe system, and it used to analyze difference states of events. However, when the system is bigger, the complexity of Petri Nets will be bigger. In this paper, we proposed a new modeling scheme –BFPN (Boolean-Function Based Petri Net) by use Boolean Function, and build a BFPN-PTP (Place-Transition-Place) table to describe the state transition of system. This scheme reduces the state complexity of more events in system, and it describes the process of system states transition very clearly. This paper use enterprise resource planning of the inventory management system related cases and automatic dryers system as an example, by using different modeling systems to analyze their strengths and weaknesses.

中文摘要...........................................................iii
英文摘要.............................................................v
目錄................................................................vi
圖目錄............................................................viii
表目錄..............................................................ix
第一章 前言 ....................................................1
第二章 派翠西網路 ............................................3
2.1 派翠西網路的基本元件介紹 ....................................3
2.2 派翠西網路的數學表示方式 ....................................4
2.3 派翠西網路的特點與特性 ....................................6
第三章 基於布林函數的派翠西網路 ....................................7
3.1 BFPN的基本元件定義 ....................................7
3.2 BFPN的數學表示方式 ....................................9
3.3 BFPN ...................................................11
3.4 態變中的基礎關係 ...........................................12
3.4.1 BFPN的多輸入多輸出之派翠西網路 ...........................12
3.4.2 BFPN的循序類型之派翠西網路 ...................................14
3.4.3 BFPN的選擇類型之派翠西網路 ...................................16
第四章 BFPN的應用-以企業資源規劃系統中的庫存管理系統為例 ...........18
4.1 ERP ...................................................18
4.2 流程規劃方法 ...........................................19
4.3 庫存管理系統 ...........................................21
4.3.1 系統與其他模組之關聯 ...................................21
4.3.2 系統作業流程 ...........................................22
4.4 BFPN之應用及分析 ...........................................24
4.4.1 使用BFPN塑模作業流程 ...................................24
4.4.2 比較與分析 ...........................................27
第五章 個案研究 ...................................................28
5.1 有限狀態機 ...........................................28
5.2 派翠西網路 ...........................................29
5.3 彩色派翠西網路 ...........................................30
5.4 BFPN ...................................................31
5.5 分析比較 ...................................................33
第六章 結論與未來研究方向 ...........................................34
英文參考資料..................................................... 35
中文參考資料........................................................36
誌謝................................................................38
簡歷................................................................39

英文參考資料

[1]C.A. Petri, “Nets, Time And Space,” theoretical computer science, Vol. 153, 1996.
[2]Jensen, K., Coloured Petri nets. 1993, IEE Colloquium on Discrete Event Systems: A New Challenge for Intelligent Control Systems.
[3]Jensen, K., ed. Colored Petri Nets Basic Concepts, Analysis Methods and Practical Use. Vol. 1. 1992, Springer-Verlag: Berlin. Chapter 1.
[4]Y. Li, C. M. Woodside, “Complete Decomposition of Stochastic Petri Nets Representing Generalized Service Networks”, IEEE TRANSACTIONS ON COMPUTERS, Vol 44, No. 8, pp.1031-1045, 1995.
[5]J. L. Peterson, (1981). Petri net theory and the modeling of systems.Prentice-Hall, Inc., Englewood Cliffs, N.J..
[6]Murata, T. (1989). Petri nets: Properties, analysis and application.Proceedings of the IEEE, Vol. 77, No.4, pp.541-580.
[7]Zhou, M. & Jeng, M. D. (1998). Modeling, analysis, simulation, scheduling, and control of semiconductor manufacturing systems: a Petri Net approach. IEEE Transactions on Semiconductor Manufacturing, Vol.11, No.3, pp.333-357.
[8]S. Hsieh, J.S. Hwang and H.C. Chou, “A Petri-Net-Based Structure For AS/RS Operation Modeling,” I.J.P.R., Vol. 36, No. 12, pp. 326, 1998.
[9]Yong Yu, Tong Li, Qing Liu, Fei Dai, Na Zhao, “OR-transition Colored Petri Net and its Application in Modeling Software System,” Second International Workshop on Knowledge Discovery and Data Mining, pp. 15-18, 2009
[10]1 F. Commoner, “Deadlocks in Petri nets”. Wakefield, Applied Data Research, Inc., Report #CA-7206-2311, 1972
[11]Yong Yu, Tong Li, Qing Liu, Fei Dai, Na Zhao, “OR-transition Colored Petri Net and its Application in Modeling Software System,” Second International Workshop on Knowledge Discovery and Data Mining, pp. 15-18, 2009

中文參考資料

[12]陳彼得，著色派翠網路模塑於分散式關連資料庫查詢之效率評估，國立臺灣科技大學電子工程系博士學位論文。
[13]陳涵櫻，以Coloured Petri Net 為基礎的低壓工業配線電路分析，國立師範大學碩士論文，2003。
[14]陳家瑜，以高階派翠網路為基礎建立一個符合SCORM標準的課程，國立交通大學碩士論文，2003。
[15]吳梓煊，利用派翠網路建立學習診斷模型以進行學習回饋，私立中原大學碩士論文，2005。
[16]林佳薇，應用混合功能派翠網技術建構與分析疾病相關的甲硫酸胺及葉酸代謝網路，慈濟大學醫學資訊研究所論文。
[17]國立中央大學管理學院ERP中心，ERP企業資源規劃導論（第三版），台灣：旗標出版股份有限公司，2008年2月。
[18]黃英嘉，應用行為派翠網路塑模數位學習中瀏覽行為之研究，國立成功大學碩士論文，2006。
[19]孫茂鑫，以派翠西網路為基礎之數學解題系統─高中數學之「圓」單元，國立台灣師範大學資訊教育研究所碩士論文。
[20]林智偉，使用派翠網路為基礎塑模與分析工作流程，國立台灣科技大學電子所計算機組碩士論文。
[21]曾成傑，整合統一模式語言與派翠網路以作為系統之模組化及分析，國立中央大學資訊工程研究所碩士論文。
[22]陳瑞順、林栩傑，應用派翠網路結合遺傳演算法建構最佳化生產排程規則，國立交通大學資訊管理研究所。
[23]詹書鉞，植基於派翠網的適性學習機制—以Photoshop的數位學習系統為例，亞洲大學資訊工程研究所碩士論文，2008。
[24]王偉銘，應用Petri Nets於電子化學習之協同教學研究，銘傳大學碩士論文，2005。
[25]陳嘉芳，企業資源規劃系統內建控制點與財務報導可靠性之個案研究－以進銷存模組為例，淡江大學會計學系研究所論文。
[26]戴建耘、饒達親、邱清文、陳世旺，建構一種多媒體派翠西網路系統之延遲處理模型，國立台灣師範大學工業教育學系，師大學報，第61-76頁，1995。