臺灣博碩士論文加值系統

近年來，由於生產製造系統的控制單元日趨精密，不但傳統之階梯圖程序控制設計變得相當繁複，製程變異的處理也更加困難；在控制程式設計與系統故障診斷功能發展上，更是期待能有效縮短製程時間，提升機台效率。因此本研究運用時間性裴氏網路(Timed Petri-Net, TPN)，來建立模組化生產系統(Modulus Production System, MPS)之即時動態模型，並透過動態控制與遠端監控之設計步驟--以Visual Basic程式語言，建構即時動態模型，透過順序控制模型來開發遠端監控系統，並以ActiveX製作監控網頁，作為系統間資料傳遞與設定之溝通管道，進而確保系統正常運作及故障即時排除。
本研究運用中華大學工管系自動化與物流實驗室現有MPS教學模組，建立相關軟硬體介面，並建構一個即時遠端監控系統。與以往監控系統的不同之處，在於時間性裴氏網路係透過時間性延遲，來表示動作或狀態的反應，以避免MPS發生死鎖的現象。實驗程序首先分析MPS運作流程，依序建構各機台之裴氏網路圖，並依機台功能設計時間性裴氏網路即時動態模型，修正控制介面及測試離線驗證模式；若驗證模式符合實際運作流程，則利用網頁建構遠端監控系統，以即時執行故障診斷與排除。

In recent years, with the development of more precise and complicated control units in the production manufacturing systems, the traditional process control designs via Ladder Logic Diagrams become more difficult and inflexible, and the variances of process are also far harder to deal with. The advanced functions of control programming design and system troubleshooting diagnosis would be expected to develop for effectively reducing the process time and increasing the efficiency of machines. This research proposes Timed Petri-Net to build the Modulus Production System (MPS) real-time dynamic control and a remote monitoring model which can be fell into the following stages: using Visual Basic Programming language to create the real-time dynamic model and developing the remote control system through process control. Furthermore, an ActiveX-based monitoring webpage would be dedicated to data transition and communication.
This study employs the MPS testing device to establish the relevant software and hardware interface and construct a real-time Timed Petri-net model in the Automation and Logistics laboratory of Chung-Hua university. Comparing with the previous remote monitoring system, the presented network expresses the responses of movements or the state through timeliness delay in the Timed Petri-net model in order to prevent MPS from taking place and deadlock. The experimental procedures are as follows: first analyzing the MPS operation process, and then developing the various Petri-net diagrams in terms of MPS machines. Additionally, a real-time dynamic Timed Petri-net model can be generated, in accordance with different machine functions, to adapt the control interfaces and the off-line testing and verifying ways of machines. If the real-time dynamic Timed Petri-net model is proved successful to meet MPS operational process, then exploiting the webpage to build remote monitoring system for implementing the real-time troubleshooting diagnosis.

目 錄
摘 要 i
Abstract ii
誌 謝 iv
目 錄 v
圖目錄 vii
表目錄 viii
符號表 ix
第一章 緒論 1
1.1研究背景 1
1.2研究動機與目的 2
1.3研究範圍 2
1.4 研究架構 2
第二章 文獻探討 5
2.1裴氏網路 5
2.2 PN與LLD之相對關係 8
2.3時間性裴氏網路 10
2.4遠端監控 11
2.4.1遠端監控之基本架構 11
2.4.2遠端監控之發展 12
2.5通訊協定 13
第三章 監控系統建構與分析 15
3.1模組化生產系統動作流程說明 19
3.2各模組動作說明與PN建構 20
3.3時間性裴氏網路之即時動態模型設計與系統網路架構 38
3.3.1時間性裴氏網路之即時動態模型設計 39
3.3.2資料傳輸模式與程式說明 40
3.4 資料庫建置 41
3.4.1機台IP資料庫 41
3.4.2機台狀態資訊資料庫 42
3.5生產資料蒐集流程說明 42
第四章 實驗結果 44
4.1時間性裴氏網路即時動態模型之離線模擬畫面 44
4.2 遠端監控系統畫面說明 45
第五章 結論與建議 50
5.1結論 50
5.2建議與未來研究方向 50
參考文獻 52
附錄1 動態監控部分程式 55

參考文獻
1.王子健，許逸書（2004），「應用無線通訊技術於PLC機械設備」，機械資訊月刊，第五百六十七期，第10-16頁。
2.王旭編譯（1996），「TCP/IP網路管理」，松格資訊。
3.吳添財（2002），「以裴氏網路建構彈性製造系統之動態模擬與線上診斷系統之研究」，國立高雄第一科技大學機械與自動化工程所碩士論文。
4.林怡仁（2005），「以彩色裴氏網為主之模組化單元控制器之設計」，台北科技大學工業工程與管理系所碩士論文。
5.林國瑋（2002），「Web-Based資料庫與整合遠端式監控系統之設計與應用」，中華大學科技管理研究所碩士論文。
6.洪進財（2003），「Linux-based 軟體PLC研發與網際網路應用研究」，國立台灣科技大學自動化及控制研究所碩士論文。
7.陳文欽、陳振臺、宋明隆（2001），「網際網路監控與控制在氣壓自動化之應用」，機械月刊－氣壓自動化專刊，第三百一十一期，第358-366頁。
8.陳文欽、陳振臺、林國瑋、鄭弘裕（2003），「監控系統資料傳輸技術之研究」，科技學刊，第十二卷，第四期，第253-260頁。
9.陳文欽、陳振臺、劉邦樓（2000），「集中式監控系統架構於Internet上之應用」，2000年科技與管理學術研討會，第339-347頁，新竹。
10.程偉豪（2003），「基於代理人群己架構之精敏製造單元執行管控系統設計」，國立高雄第一科技大學機械與自動化工程研究所碩士論文。
11.葛世偉，吳鴻志（1996），「可程式控制器應用」，全華科技圖書公司。
12.廖崧富（2004），「整合IDEF/CTPN/SFC於間斷事件控制系統PLC分析與設計之研究」，國立雲林科技大學工業工程與管理研究所碩士論文。
13.鄭博仁（2002），「彈性製造系統之無鎖死排程研究」，朝陽科技大學工業工程與管理研究所碩士論文。
14.Bowden, F.D.J. (2000), “A Brief Burvey and Synthesis of the Roles of Time in Petri Nets,” Mathematical and Computer Modelling, Vol. 31, No. 10-12, pp. 55-68.
15.Cazzola, F., Ferrarini, L. and Preziosa, M. (1995), “Interpretation Rules of Petri Net Models for Logic Control,” Emerging Technologies and Factory Automation, ETFA, 1995 INRIA/IEEE Symposium on., Vol. 2, pp. 289-297.
16.Chang, K. F. and Gong, D. C. (1999), “Introduction to the Basic Theory of Petri Net”, Journal of the Chinese Institute of Industrial Enginees, Vol. 16, No. 1, pp. 63-83.
17.Chen, W. C. and Chen, C. T. (2003), “Design of Web-Based Database and Integrated Remote Supervisory System with Its Applications,” 2003 International Conference of Industrial Engineering & Engineering Management, RID:002, pp. 1-10, Shanghai, China.
18.Flochova, J. (2003), “A Petri Net Based Supervisory Control Implementation,” IEEE International Conference on, Vol. 2, pp. 1039 -1044.
19.Frey, G.. (2000), “Automatic Implementation of Petri Net Based Control Algorithms on PLC,” American Control Conference, Proceedings of the 2000., Vol. 4, pp. 2819-2823.
20.Jeng, M. D. and DiCesare, F. (1993), “A review of synthesis techniques for Petri nets with applications to automated manufacturing systems,” IEEE Transactions on Systems, Man, and Cybernetics., Vol. 23, Issue. 1, pp. 301-312.
21.Kurapati, V. and Mohammad, I. (1995), “Real-Time Petri Nets For Modeling, Controlling and Simulation of Local Area Networks In Flexible Manufacturing System,” Computers and Industrial Engineering, Vol. 28, No. 1, pp. 147-162.
22.Latha, K. Umamaheswari, B.(2002), “Supervisory control of an automated system with ladder logic programming and analysis using Petri nets,” IEEE Transactions on Systems, Man, and Cybernetics., Vol. 3, pp. 1-5.
23.Lee, J. S. and Hsu, P .L. (2004), “An improved evaluation of ladder logic diagrams and Petri nets for the sequence controller design in manufacturing systems,” International Journal of Advanced Manufacturing Technology, Vol. 24, Issue. 3/4, pp. 279-287.
24.Lee, J. S. and Hsu, P. L. (2004), “Design and Implementation of the SNMP Agents for Remote Monitoring and Control via UML and Petri Nets,” IEEE Transavtions On Control System Technology, Vol. 12, No. 2, pp. 293-302.
25.Murata, T. (1989), “Petri Nets: Properties, Analysis and Applications,” Proceedings of the IEEE, Vol. 77, Issue. 4, pp. 541 –580.
26.Music, G. and Matko, D. (1999), “Petri Net Based Control of a Modular Production System,” IEEE International Symposium on, Industrial Electronics., Vol. 3, pp. 1383-1388.
27.Peng, S. S. and Zhou, M. C. (2001), “Petri Net Based PLC Stage Programming for Discrete-Event Control Design,” IEEE Transactions on Systems, Man, and Cybernetics., Vol. 4, pp. 2706-2710.
28.Peterson, J. L. (1981), Petri Net Theory and the Modeling of Systems, N.J.: Prentice-Hall.
29.Petri, C. A. (1962), “Kommunikation Mit Automaten,” Ph.D. Thesis, University of Bonn, Germany.
30.Ramchandani, C.（1974）, “Analysis of Asynchronous Concurrent Systems By Timed Petri Nets,” Ph.D Thesis, MIT.
31.Ugo, B., Houshang, D., Mihai, L. and Vikram, V. (2005), “Supervisory Control of Time Petri Nets Using Net Unfolding, ”Proceedings of the 29th Annual International Computer Software and Applications Conference, Vol. 1, pp. 97-100.
32.Uzam, M., Jones, A. H, (1998), “Discrete Event Control System Design Using Automation Petri Nets and their Ladder Diagram Implementation,”The International Journal of Advanced Manufacturing Technology, Vol. 14, No. 10, pp. 716-728.
33.Uzam, M., Jones, A. H. and Ajlouni, N. (1996) “Conversion of Petri Net Controllers for Manufacturing Systems into Ladder Logic Diagrams,” IEEE Conference on, Emerging Technologies and Factory Automation., Vol. 2, pp. 649-655.
34.Uzam, M., Jones, A. H. and Yucel, I. (2000), “Using a Petri-Net-Based Approach for the Real-Time Supervisory Control of an Experimental Manufacturing System,” The International Journal of Advanced Manufacturing Technology, Vol. 16, No. 7, pp. 498–515.
35.Venkatesh, K., Zhou, M. C., and Caudill, R. (1994a) “Comparing ladder logic diagrams and Petri nets for sequence controller design through a discrete manufacturing system,” IEEE Transactions on, Industrial Electronics., Vol. 41, No. 6, pp. 611-619.
36.Venkatesh, K., Zhou, M. C., and Caudill, R. (1994b), “Evaluating the complexity of Petri nets and ladder logic diagrams and for sequence controllers design in flexible automation,” IEEE Symposium on, Emerging Technologies and Factory Automation., pp. 428-435.