本論文提出一基於裴氏圖網路建構一網宇實體系統（Cyber-Physical System；CPS），其能用於模擬工場內之機台加工與料件搬運過程，而此模擬搬運過程能透過實際之無人搬運車（Automated Guided Vehicle；AGV）來執行任務。在此系統中，是透過裴氏圖網路進行訂單的處理以及搬運任務的指派，其中在任務資訊處理模型上可分為（1）虛擬工廠之運作、（2）訂單任務的處理（3）虛擬搬運路徑模擬。而裴氏圖網路可以處理同時發生以及非同步事件之系統。在整合上，會透過雲端網頁平台即時監控場內AGV之位置與狀態，而裴氏圖網路模型接收到訂單資訊之後，會透過網路通訊的方式與實際之AGV 進行溝通並進行搬運作業，再虛擬工廠執行時，會將虛擬機台的機台運作資訊即時回至平板電腦上進行顯示。

而系統應用上，使用者可以選擇模擬搬運模式或實體運作模式之兩種執行方式來使用此系統。在模擬搬運模式中，透過裴氏圖網路進行AGV搬運流程之分析與時間計算，並模擬實際搬運之過程。此部分使用者能在模擬此任務流程後，能夠切換至實體運作模式與實際AGV進行任務資訊溝通，所以可以根據模擬之結果進一步驗證此AGV搬運任務是否符合預期。另外，在系統驗證上，本論文在實驗場域設置了4個工作站，而每一個工作站點上會利用平板電腦當作虛擬機台，並顯示目前機台運作狀態與加工資訊，以及透過雲端監控平台即時掌握AGV之位置。

This thesis presents a colored Petri net (CPN) based cyber-physical system (CPS) study for modeling and simulating the machining and material handling processes in an automated factory. An automated guided vehicle (AGV) was introduced to be a physical part of the CPS system for executing material transport task commands generated from the CPN cyber part.
Hence, the CPN production model is responsible for dealing with the operation of a virtual factory (VF), production order handling and dispatching, and AGV movement command generation because of the CPN’s capabilities on dealing with concurrent and asynchronous events in systems.
Moreover, a cloud-based web system was produced to perform the monitoring of the system operation, including production order, production status and AGV status. All the proposed subsystems were integrated via network and database. A production order is delivered to CPN VF model, and the CPN VF model is used for production and AGV dispatching. The AGV dispatching command is delivered to the physical AGV via Wi-Fi. The AGV will communicated with virtual machine model that was done with a tablet for exchange production information. In this manner, all the cyber CPN VF model, tablet virtual machines and a physical AGV were all properly integrated.
The proposed system was worked with either simulation or physical operation mode for the AGV. No physical AGV was required for the simulation mode, and the simulation mode can evaluate the system performance in advance. The physical operation mode can be used to evaluate the physical AGV performance according to the VF operations.
Finally, a VF with 4 tablet virtual machining stations and an AGV was set in our laboratory for experiments. The experiment results showed that the proposed CPN-based cyber-physical system is feasible for evaluating the AGV performance without the needs of real machines.

[1] A. Galletta, L. Carnevale, A. Celesti, M. Fazio, and M. Villari, “A Cloud-based system for improving retention marketing loyalty programs in industry 4.0: a study on big data storage implications,” IEEE Access, vol. 6, pp. 5485–5492, 2018.
[2] H. Zhao, D. Sun, H. Yue, M. Zhao, and S. Cheng, “Using CSTPNs to model traffic control CPS,” IET Software, vol. 11, no. 3, pp. 116–125, 2017.
[3] J.R. Jiang, “An improved cyber-physical systems architecture for industry 4.0 smart factories,” International Conference on Applied System Innovation , pp. 918–920, 2017.
[4] A. Marrella, M. Mecella, P. Halapuu, and S. Sardina, “Automated process adaptation in cyber-physical domains with the SmartPM system (short paper),” International Conference on Service-Oriented Computing and Applications , pp. 59–64, 2015.
[5] R. Harrison, D. Vera, and B. Ahmad, “Engineering methods and tools for cyber–physical automation systems,” Proceedings of the IEEE, vol. 104, no. 5, pp. 973–985, 2016.
[6] H. Zhang, D. Ge, J. Liu, and Y. Zhang, “Multifunctional cyber-physical system testbed based on a source-grid combined scheduling control simulation system,” IET Generation, Transmission & Distribution, vol. 11, no. 12, pp. 3144–3151, 2017.
[7] Z. Ning, W. Hou, X. Hu, and X. Gong, “A cloud-supported cps approach to control decision of process manufacturing: 3D ONoC,” IEEE Conference on Automation Science and Engineering, pp. 458–463, 2017.
[8] B. R. Ferrer and J. L. M. Lastra, “An architecture for implementing private local automation clouds built by CPS,” IECON Annual Conference of the IEEE Industrial Electronics Society, pp. 5406–5413, 2017.
[9] T. Kaihara and Y. Yao, “A new approach on CPS-based scheduling and WIP control in process industries,” Proceedings Title: Proceedings of the 2012 Winter Simulation, pp. 1–11, 2012.
[10] S. Dhib, M. Elleuch, and A. Frikha, “Evaluation of AGV system in flexible production system: A simulation study,” IEEE International Conference on Advanced Logistics and Transport, pp. 494–499, 2013.
[11] T. Silva, L. S. Dias, M. L. Nunes, G. Pereira, P. Sampaio, J. A. Oliveira, and P. Martins, “Simulation and economic analysis of an AGV system as a mean of transport of warehouse waste in an automotive OEM,” International Conference on Intelligent Transportation Systems , pp. 241–246, 2016.
[12] Z. Han and D. Wang, “Research of multi-AGV scheduling system based on a new mixed regional control model,” Chinese Automation Congress, pp. 2641–2645, 2017.
[13] L. Sabattini, V. Digani, C. Secchi, and C. Fantuzzi, “Optimized simultaneous conflict-free task assignment and path planning for multi-AGV systems,” IEEE International Conference on Intelligent Robots and Systems, pp. 1083–1088, 2017.
[14] S. Akiyama, T. Nishi, T. Higashi, K. Kumagai, and M. Hashizume, “A multi-commodity flow model for guide path layout design of AGV systems,” IEEE International Conference on Industrial Engineering and Engineering Management, pp. 1251–1255, 2017.
[15] V. Digani, L. Sabattini, C. Secchi, and C. Fantuzzi, “Ensemble coordination approach in multi-AGV systems applied to industrial warehouses,” IEEE Transactions on Automation Science and Engineering, vol. 12, no. 3, pp. 922–934, 2015.
[16] H. Hon, Y.S. Ro, H.J. Kang, and Y. Suh, “A simulator for AGV system modeling,” Russian-Korean International Symposium on Science and Technology, vol. 1, no. 3, pp. 223–227, 2004.
[17] D. Giglio, “A Petri net model for an open path multi-AGV system,” Proceedings of the 11th International Conference on Informatics in Control, Automation and Robotics, vol. 2, pp. 734–745, 2014.
[18] T. Nishi, Y. Tanaka, and Y. Isoya, “Petri net decomposition for deadlock avoidance routing for bi-directional AGV systems,” IEEE International Conference on Systems, pp. 2453–2458, 2010.
[19] T. Nishi and R. Maeno, “Petri Net decomposition approach to optimization of route planning problems for AGV systems,” IEEE Transactions on Automation Science and Engineering, vol. 7, no. 3, pp. 523–537, 2010.
[20] R. H. Kubo, O. L. Asato, G. A. dos Santos, and F. Y. Nakamoto, “Modeling of allocation control system of multifunctional resources for manufacturing systems,” IEEE International Conference on Industry Application, pp. 1–8, 2016.
[21] H. Hu, Y. Yang and Y. Liu, “Critical stages and their application in large scale automated manufacturing systems via Petri nets,” IEEE Conference on Intelligent Transportation Systems, pp. 2337–2344, 2016.
[22] T. Nishi and Y. Tanaka, “Petri net decomposition approach for dispatching and conflict-free routing of bidirectional automated guided vehicle systems,” IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, vol. 42, no. 5, pp. 1230–1243, 2012.
[23] M. H. Lin and L. C. Fu, “Modeling, analysis, simulation and control of semiconductor manufacturing systems: a generalized stochastic colored timed Petri net approach,” IEEE International Conference on Systems, vol. 3, pp. 769–774, 1999.
[24] C.H. Kuo, “Modelling and performance evaluation of an overhead hoist transport system in a 300 mm fabrication Plant,” The International Journal of Advanced Manufacturing Technology, vol. 20, no. 2, pp. 153–161, Jul. 2002.
[25] H.P. Huang and Y.H. Tseng, "Modeling and graphic simulator for integrated manufacturing systems," Proc. Intelligent Automation and Soft Computing, Vol. 1, pp. 183-186, 1994.
[26] C.H. Kuo and H.P. Huang, "Dispatching and simulation for highly model-mixed automotive plants," Proc. Int. Conference on Automation Technology, Taiwan, Vol. 1, pp. 423-430, 1996.