臺灣博碩士論文加值系統

一般製造控制系統開發可分為二階段，第一階段為系統運作邏輯的分析，主要運用派翠網路建立動態行為模式，分析系統的邏輯行為及活性。另一階段為系統軟體的開發，主要是依據運作邏輯分析的結果，透過系統的分析與設計的技術，如物件導向的技術，來建立容易維護及重複使用物件化元件。兩階段的系統開發流程不僅造成時間的浪費，同時物件導向方法缺少一個系統化方式幫助確認物件以及物件的屬性及操作，會造成系統開發上之困難。因此本研究提出整合IDEF及派翠網路來建構物件導向的製造控制系統。在系統初期分析階段使用IDEF0的方法，分析製造控制系統功能。接著，將IDEF0分析結果轉換物件導向派翠網路，透過物件導向派翠網路可分析出物件與物件間訊息傳遞之情形，及利用派翠網路分析物件的動態行為。最後，透過派翠網路定義物件屬性及操作，並依照物件導向派翠網路的分析描述，建構完整的UML類別圖、循序圖及狀態圖，以做為UML物件導向控制系統軟體開發的依據。最後，以組裝系統為例，驗証本研究所提出之方法，並實際建構出一個物件導向的控制系統。

In general, the development of manufacturing control system can be divided into two steps. The first step is operational logic analysis. The Petri-Net is one of popular tools used to establish the dynamic behavior model and to analyze the logic behavior and liveness of system. The second step is system software development. According to the results from logic analysis of system, the system analysis and design technology, such as object-oriented, approach is introduced to construct object components which are easily maintained and reusable. However, the control system development with these two steps is time consuming. In addition, in object-oriented technology, there are no systematized methods to define objects and their attributes and operations, so it becomes difficult to use. In this research, an approach, integrating IDEF and Petri-Net to construct object-oriented manufacturing control system, is proposed. In the early analysis stage, IDEF0 is used to defining the function of control system. Next, the results from IDEF0 are transformed into the object-oriented Petri-Net for analyzing the message between the objects. At the same time, the Petri-Net is also used for analyzing the dynamic behavior inside the object. Finally, the object’s attributes and operations are defined based on the Petri-Net model and the UML’s class diagram, sequence diagram and state diagram are constructed according to the Petri-Net model. These UML’s diagrams are bases for developing object-oriented control software. Finally, an assembly control system is developed to varity the proposed concept.

第一章 緒論 1
1.1 研究動機與背景 1
1.2 研究目的 1
1.3 研究架構 2
第二章 相關文獻探討 4
2.1 圖形化塑模工具介紹 4
2.1.1 IDEF0表示方法 4
2.1.2 派翠網路表示方法 6
2.1.3 O-O Petri net表示方法 12
2.1.4 物件導向UML表示方法 15
2.2 IDEF、派翠網路、物件導向技術及UML相關之研究 20
第三章 研究方法 24
3.1 IDEF0系統功能分析及物件的決定 27
3.2 IDEF0與物件導向派翠網路的轉換 28
3.3 派翠網路物件內部動態行為的描述及物件屬性與操作的決定 30
3.4 建構UML之類別圖、循序圖及狀態圖 34
第四章 實例驗證 41
4.1 組裝系統IDEF0功能分析 42
4.2 IDEF0功能需求與物件導向派翠網路的轉換 43
4.3 資源物件派翠網路動態行為的描述 46
4.3.1 暫存區物件的派翠網路動態行為 46
4.3.2 機器手臂與滑台物件派翠網路動態行為描述 49
4.3.3 組裝台物件派翠網路動態行為描述 51
4.3.4 包裝機物件派翠網路動態行為描述 52
4.4 派翠網路中巨集Place的流程描述 54
4.4.1 機器手臂與滑台物件巨集Place的P2-1、P2-3及P2-5動作流程描述 54
4.4.2 組裝台物件巨集Place的P3-1動作流程描述 57
4.4.3 包裝機物件巨集Place的P4-1動作流程描述 58
4.5 派翠網路決定物件屬性及操作 59
4.6 建立組裝系統UML之類別圖、循序圖及狀態圖 64
4.7 組裝監控系統畫面 71
第五章 結論與建議 75
參考文獻 76

[1] Adamou, Moussa; Alain, Bourjault; and S.Noureddine Zerhouni, 1993, “Modeling And Control Of Flexible Manufacturing Assembly Systems Using Object Oriented Petri Nets,” Emerging Technologies and Factory Automation, pp. 164-168.
[2] Ang, Cheng-Leong, 1999, ”Enactment of IDEF0 models,” International Journal of Production Research, Vol.37, no. 15, pp.3383-3397.
[3] Antonio, Camurri and Marco, MAGAGnini, 1998, “A Petri Net-objected Architecture for Plant Simulation,” Emerging Technologies and Factory Automation Proceedings, pp.1061-1065.
[4] Bordbar, B.; Giacomini, L. and Holding, D.J., 2000, “UML And Petri Nets For Design And Analysis of Distributed Systems,” International Conference On Control Applications, pp.610-615.
[5] Ceska, Milan; Janousek, Vladimir and Vojnar, Tomas, 1998, “Object-Oriented Petri Nets, Their Simulation, and Analysis,” IEEE International Conference on Systems, Man, and Cybernetics, volume 1, pp.262-267.
[6] Chan, Felix T.S.; Zhang, Jie; Lau, H.C.W. and Ning, A., 2000, “Object-oriented architecture of control system for agile manufacturing cells,” IEEE.
[7] Chen, K. Y., and Lu, S. S., 1997, “A Petri-net and entity-relationship diagram based object-oriented design method for manufacturing systems control”, International Journal of Computer Integrated Manufacturing, 10, 17-28
[8] Cheol, Han Kim; Weston, R.H.; Hodgson A .; and Lee, Kyung huy, 2002, “The complementary use of IDEF and UML modeling approaches,” Computers in Industry 50 35-56, Loughbouough University.
[9] Cullinane, Thomas P.; Chinnaiah, Pratap S.S.; Wongvasu, Naken and Kamarthi, Sagar V., 1997, “A generic IDEF0 model of a production system for mass customization”, Portland International Conference on Management and Technology, pp679-684.
[10] Dragos, Truscan; Fernandes, Joao M. and Johan, Lilius, 2004, “Tool Support for DFD-UML Model-based Transformations,” Engineering of Computer-Based Systems, pp.388-397.
[11] Edward, Yi-Tzer Lin and Chen, Zhou, 1999, “Modeling and Analysis of Message Passing in Distributed Manufacturing Systems,” pp.250-262, Systems, Man and Cybernetics, Part C, IEEE Transactions on , Volume: 29 , Issue: 2.
[12] Hatono, Itsuo; Yamagata, Keiichi and Tamura Hiroyuki, 1991, “Modeling and online scheduling of flexible manufacturing systems using stochastic Petri nets,”, Software Engineering, IEEE Transactions on Volume 17, Issue 2, Feb., pp.126-132.
[13] Hong, J. E. and Bae D.H., 2001, “High-level Petri net for incremental analysis of object-oriented system requirements,” Software, IEE Proceedings, Volume 148, Issue 1, pp.11-18.
[14] Jeng, Muder and Lu, WeiZhao, 2002, “Extension of UML and Its Conversion to Petri Nets for Semiconductor Manufacturing Modeling,” International Conference on Robotics and Automation, pp. 3175-3180, National Taiwan Ocean University.
[15] Jiang, Zhibin and Zuo, Ming J., 1998, “Object-oriented Petri nets with changeable structure (OPNs-CS): analysis on conflicts and deadlocks,” IEEE International Conference on Systems, Man, and Cybernetics, volume1, pp.55-60.
[16] Kurapati, V.; Zhou, M. C. and Caudill, R., 1995, ”Design of Sequence Controllers using Petri net models”, Systems, Man and Cybernetics, IEEE International Conference, Vol.4, pp. 3469-3474
[17] Lee, J. S. and Hsu, P. L., 2000, “A PLC-based Design for the Sequence Controller in Discrete Event Systems”, Proceedings of the 2000 IEEE International
Conference on Control Applications, pp.929-934
[18] Lin, Chang-Pin, Lin, Yi-pin and Jeng, Mu-Der, 2004, “Design of Intelligent Manufacturing Systems By Using UML and Petri Net,” Networking, Sensing and Control, pp.501-506, National Taiwan Ocean University.
[19] Murata, T., 1989, “Petri nets: properties, analysis, and applications,” Proceedings of the IEEE, vol.77, no.4, pp. 541-580.
[20] Santarek, K. and Buseif, I.M., 1998, “Modeling and design of flexible manufacturing systems using SADT and Petri nets tools”, Journal of Material Processing Technology, Vol.76, pp.212-218.
[21] Shih, H. M. and Leung, C.K., 1997, "Management Petri net-a modeling tool for management systems", INT. J. PROD RES., Vol.35, No.6, pp1665-1680.
[22] Silva, Manuel and Recalde, Laura, 2002, “Petri Nets and Integrality Relaxations: A View of Continuous Petri Net Models,” IEEE Transactions on Systems, Man and Cybernetics, vol.32, no.4, pp.314-327.
[23] Xiaobing, Qiu and Wolfgang, Wimmer, 2000, “Applying Object-orientation and Component Technology to Architecture Design of Power System Monitoring,” Power System Technology, pp.589-593.
[24] Young, K.W.; Piggin R. and Rachitrangsan, P., 2001, “An Object-Oriented Approach to an Agile Manufacturing Control System Design,” The international Journal of Advanced Manufacturing Technology, vol.17, pp.850-859.
[25] Zhang, Jie; Chan, Felix, T.S. and Li, Peigen, 2002,”A generic architecture of manufacturing cell control system,” Computer integrated manufacturing, Vol.15, No.6, 484-498.
[26] Zhang, Jie; Gu, Jain; Li, Peigen and Duan, Zhengcheng, 1999, “Object-oriented modeling of control system for agile manufacturing cells,” International Journal of Production Economics, pp. 45-153.