本論文提出一個以斐氏圖加註語言為基礎的整合方法論，來開發自動化製造系統的監控軟體。第一步於設計階段使用P3軟體來繪製控制自動化製造系統的斐氏圖，並輸出為斐氏圖加註語言檔案。第二步轉換斐氏圖加註語言檔案，並使用INA軟體來分析此斐氏圖的基本性質。假如此斐氏圖的性質是有效的，則代表此斐氏圖規格是合格的，而它的可達圖就可用來產生測試序列。第三步在實作階段裡，將斐氏圖加註語言轉換為爪哇語言控制程式。第四步將先前產生的測試序列用來測試爪哇語言控制程式的規範。若爪哇語言控制程式通過規範測試，則此程式可連線到可程式控制器並用來控制自動化製造系統。如爪哇語言控制程式未通過規範測試，則此爪哇語言控制程式必須要重新修正直到其通過規範測試。

中文摘要 I
英文摘要 II
誌謝 III
目錄 IV
圖目錄 VI
表目錄 IX
第一章 緒論 1
1.1 研究動機 1
1.2 問題界定 2
1.3 研究目的 3
1.4 研究方法 4
1.5 論文架構 5
第二章 文獻回顧 6
2.1 製造執行系統 6
2.1.1 MESA模型 6
2.1.2 虛體製造系統 7
2.2 斐氏圖模型與特性 8
2.2.1 斐氏圖基本性質 8
2.2.2 斐氏圖與製造系統 9
2.2.2.1 可達圖表達法 10
2.2.2.2 鎖死問題 10
2.2.2.3 系統不變量 11
2.2.2.4 週期時間分析 11
2.2.3 斐氏圖軟體工具發展 11
2.3 可展加註語言 13
2.3.1 可展加註語言發展 13
2.3.2 可展加註語言技術 13
2.3.3 斐氏圖加註語言架構 16
2.4 網路應用程式架構 18
2.5 可程式控制器 20
第三章 整合型斐氏圖架構 22
3.1 自動化製造執行系統設計流程 22
3.2 自動化製造執行系統程式架構 26
3.3 斐氏圖加註語言規格解析 28
3.3.1 斐氏圖資訊擷取與圖型繪製 29
3.3.2 斐氏圖加註語言驗證 31
3.3.3 斐氏圖物件資訊萃取 32
3.4 製造行為分析 34
3.4.1 輸出入檔案格式 36
3.5 遠端監控設計 39
3.5.1 JAVA與PLC 39
第四章 分析監控軟體實作 41
4.1 案例分析流程探討 41
4.2 分析伺服器與資料伺服員實作 43
4.3 分析模組實作 48
4.4 監控模組實作 51
4.5 人機介面實作 55
第五章 範例分析與操作 58
5.1 自動導引車輛範例 58
5.2 輸送帶控制系統範例 68
第六章 結論與未來方向 74
參考文獻 75
附錄一 JAVA與LINDO API 77
附錄二 程式碼附錄說明 81

[1] 宓哲民，「機電整合-可程式控制原理與應用實務」，全華科技圖書，2004年。
[2] 林辰戴，梁高榮，「自動化製造系統互動組件的非鎖死設計」，工業工程學會年會，446-454頁，1995。
[3] 梁高榮，「自動化製造系統內的即時故障察覺」，機械工業，五月，127-138頁，2006。
[4] 梁高榮，曹漢清，「爪哇豆技術建構虛體製造系統及其規範測試」，機械工業，六月，246-255頁，2004。
[5] 梁高榮，「虛體製造系統的多緒架構」，機械工業，五月，241-261頁，2004。
[6] 陳啟宗，梁高榮，「利用手機控制遠端的製造系統」，機械工業，六月，246-255頁，2005。
[7] 陳音帆，梁高榮，「透過斐氏圖加註語言分析自動化製造系統行為」，機械工業，九月，114-125頁，2006。
[8] 陳音帆，梁高榮，「自動化製造系統裡斐氏圖模式的撰碼自動化」，機械工業，十二月，111-121頁，2006。
[9] 陳音帆，梁高榮，「自動化製造系統的監控軟體開發」，機械工業，待刊中。
[10] Billington, J., et al., “The Petri Net Markup Language: Concepts, Technology, and Tools,” Applications and theory of Petri Nets 2003, (Eds. W. van der Aalst and E. Best), LNCS, Springer, Vol. 2679, pp. 483-505, 2003.
[11] Campos, J., Chiola, J., Colom, M., and Silva, M., “Ergodicity and Throughput Bounds of Petri Nets with Unique Consistent Firing Count Vector,” IEEE Transactions on Software Engineering, Vol. 17, No. 2, 1991.
[12] Campos, J., Chiola, J., Colom, M., and Silva, M., “Properties and Performance Bounds for Timed Marked Graphs,” IEEE Transactions on Circuits and Systems, Vol. 39, No. 5, 1992.
[13] David, R.and Alla, H., Petri Nets & Grafcet: Tools for Modeling Discrete Event Systems, Prentice-Hall, 1992.
[14] Ezpeleta, J., Colom, J.M., and Martinez, J., “A Petri Net Based Deadlock Prevention Policy for Flexible Manufacturing Systems,”IEEE Trans.Robot Automat., Vol. 11, No. 2, pp. 173–184, 1995.
[15] Gamma, E., et al., Design Patterns, Addison-Wesley, 1995.
[16] http://www.mirle.com.tw, 盟立自動化股份有限公司網站。
[17] http://st-www.cs.uiuc.edu/users/smarch/st-docs/mvc.html, Burbeck S.Applications programming in smalltalk-80(TM), How to use Model – View – Controller (MVC), 1992.
[18] http://www.informatik.uni-hamburg.de/TGI/PetriNets/tools/complete_db.html, Petri Nets Tools Database.
[19] http://www2.informatik.hu-berlin.de/top/pnml/about.html, Petri Net Markup Language.
[20] http://www.schematron.com, ISO Schematron.
[21] http://www.w3.org/XML, Extensible Markup Language (XML).
[22] http://www2.informatik.hu-berlin.de/~starke/ina.html, Integrated Net Analyzer.
[23] http://www.graphviz.org/, Graphviz.
[24] http://www.lindo.com/, Lindo.
[25] http://www.sun.com, SUN Microsystems Web Sit.
[26] IDEF0, Federal Information Processing Standards Publication 183, USA, 1993.
[27] James, L., Petri Net Theory and the Modeling of Systems, Prentice-Hall, 1981.
[28] Liang, G.R.and Hong, H.M., “Hierarchy Transformation Method for Repetitive Manufacturing System Specification, Design, Verification, and Implementation,” Computer-integrated Manufacturing System, Vol. 7, No. 3, pp. 191-205, 1994.
[29] Liang, G.R., “Advent of Network-Integrated Manufacturing Age in Taiwan,” Automation’96, pp. 29-36, 1996.
[30] Magott, J., “Performance Evaluation of Concurrent Systems Using Petri Nets,” Information Processing Letters, Vol. 18, pp.7-13, 1984.
[31] Moller, A.and Schwartzbach, M., An Introduction to XML and Web Technologies, Addison-Wesley, 2006.
[32] Murata, T., “Petri Nets: Properties, Analysis and Application,” Proceedings of the IEEE, Vol. 44, pp. 541–579, 1989.
[33] Uzam, M., “An Optimal Deadlock Prevention Policy for Flexible Manufacturing Systems Using Petri Net Models with Resources and the Theory of Regions,” International Journal of Advanced Manufacturing Technology, Vol. 19, pp. 192–208, 2002.
[34] Uzam, M., “The Use of the Petri Net Reduction Approach for an Optimal Deadlock Prevention Policy for Flexible Manufacturing Systems,” International Journal of Advanced Manufacturing Technology, Vol. 23, pp. 204–219, 2004.
[35] Viswanadham, N., Narahari, Y., and Johnson L., “Deadlock Prevention and Deadlock Avoidance in Flexible Manufacturing Systems Using Petri Net Models,” IEEE Trans Robot Automat, Vol. 6, No. 6, pp. 713-723, 1990.
[36] White Paper Number 6, “MES Explained: A High Level Vision,” MESA, pp. 1-22, 1997.
[37] Weber, M.and Kindler, E., “The Petri Net Markup Language,” Petri Net Technology for Communication-based Systems: Advances in Petri Nets (Eds. H. Ehrig, et al.), LNCS, Springer, Vol. 2472, pp. 124-144, 2003.
[38] Yamada, T.and Kataoka, S., “On Some LP Problem for Performance Evaluation of Timed Marked Graphs,” IEEE Transactions on Automatic Control, Vol. 39, No. 3, pp. 696-698, 1994.
[39] Zhou, M.C., “Petri Net Synthesis and Analysis of a Flexible Manufacturing System Cell”, IEEE Transactions on Systems, Man, and Cybernetics, Vol. 23, No. 2, 1993.