本文應用Petri Net資訊流結合Timed Petri Net理論、Stochastic Petri Net理論、加工工件之暫存區Petri Net (Petri Net Modeling of Buffers)、整合製程規劃、近似最佳化切片法之動態排程及其修正式解除死鎖及機台故障之Petri Net整合架構，應用於製造系統之創研混和雲，以及建立計算數據及時間參數的生產時間之手術燈創研流程設計與製造流程模型。
本文提出了結合近似最佳化切片法之修正式解除死鎖方法之動態排程用於製造系統，偵測及解除死鎖的同時計算不同排程的總流程時間公式。並將其應用於逐步計算每個subnet不同機台排程之最短總流程時間，得出第一個subnet最短總流程時間的排程，再將其用於計算連接下一個subnet不同機台的排程，計算出最短總流程時間的排程，如此逐步計算，最後得出製造系統全部機台近似最短總流程時間的排程規劃。
本文為了佐證出結合近似最佳化切片法之解除死鎖方法具體改善的步驟，先用LED集魚燈的兩種不同零件進行加工機台故障需較長時間修護之製程規劃及動態排程為案例，將不同工作性質的機台分成不同的subnet，然後依不同製程規劃建立包括等待時間、搬運時間、加工時間等參數計算，再結合近似最佳化切片法之修正式解除死鎖之方法先偵測是否有死鎖，如有死鎖再解除死鎖，並比較出加工兩個不同零件所需之每個subnet最短總流程時間(Total Flow Time)以及製造系統近似最短總流程時間的排程。
本文又將Petri Net數據流應用於手術燈之結合修正式Fuzzy DANP之修正式Fuzzy WASPAS方法，來進行評選出優先產品技術改善方案，建立其Petri Net流程模型。本文亦將Petri Net資訊流相關理論、設計及製造流程規劃所需的相關知識，及結合修正式Fuzzy DANP之修正式Fuzzy WASPAS等設計與製造相關理論知識與相關專利知識，輸入擴充至創研流程相關理論知識私有雲及手術燈專利知識庫中，如此可增加手術燈相關知識，讓使用者易於學習，使其能應用於創研流程架構模型。

The paper uses Petri Net information flow, together with the timed Petri net theory, stochastic Petri net theory, Petri net modeling of buffers, integrated process planning, dynamic scheduling of quasi-optimal slicing method and its modified deadlock-free method, as well as Petri net integration framework of machine malfunction, for application to the hybrid cloud of innovative research of manufacturing system, and to the surgical light innovative research process design and manufacturing process model that establishes the production time for calculation data and time parameters.
The paper proposes combining with the dynamic scheduling of the modified deadlock-free method of quasi-optimal slicing method for application to manufacturing system so as to simultaneously calculate the total flow time equation of different schedules while detecting and freeing deadlock. The paper also applies it to step-by-step calculation of the shortest total flow time of different machine schedules of each subnet, to obtain the scheduling of the shortest total flow time of the first subnet. It is then applied to calculation of the scheduling of different machines in the next connected subnet. Then, scheduling of the shortest total flow time is calculated. Through this step-by-step calculation, a schedule plan for the quasi-shortest total flow time of all the machines of manufacturing system is finally obtained.
In order to prove the concrete improvement procedure of the deadlock-free method combining quasi-optimal slicing method, the paper firstly takes the process plans and dynamic scheduling of two different parts of Surgical lamp attractor, whose malfunctioned processing machine needs longer repair time, as the examples. The paper divides the machines of different work natures into different subnets. After that, according to different process plans, the paper establishes the parameters of waiting time, handling time and processing time for calculation. The paper also combines with the modified deadlock-free method of the quasi-optimal slicing method, and firstly detects whether there is deadlock. If there is deadlock, it has to be freed. The paper compares each subnet’s required shortest total flow time and the scheduling of manufacturing system’s quasi-shortest total flow time between processing of two different parts.
The paper also applies Petri net dataflow to a method that combines the modified Fuzzy DANP with the modified Fuzzy WASPAS, to surgical light in order to select a prioritized product technical improvement plan and establish its Petri net process model. The paper also enters and expands the design- and manufacturing-related theoretical knowledge as well as the relevant patent knowledge, such as theories relating to Petri net information flow, the related knowledge required for planning of design and manufacturing process, and the method that combines the modified Fuzzy DANP with the modified Fuzzy WASPAS, to the private cloud of the theoretical knowledge relating to innovative research process as well as the knowledgebase of surgical light patents. In this way, the related knowledge of surgical light can be increased, learned by users easily, and applied by them to the structural model of innovative research process.

[1] Shen, R.L., Yang, C.Y. and Lee, J.H., “Analysis of the problem description in the Algorithm for Inventive Problem Solving using Petri nets”, Knowledge-Based Systems, Vol. 35, pp.290-303 (2012).
[2] Osswald, D., Gorges, N. and Worn, H., “Reactive Hand-Arm Coordination for a Humanoid Robot using Extended Petri-Nets” IEEE/ASME international conference, Issue 4-7, pp. 1-6 (2007).
[3] Liu, H., Jiang, Z. and Fung, Y.K., “Modeling of Large-Scale Complex re-Entrant Manufacturing Systems by Extended Object-Oriented Petri Nets” International Journal of Advanced Manufacturing Technology, Vol.27, pp.190-204 (2005).
[4] Choi, I., Park, C. and Lee, C., “A Transactional Workflow Model for Engineering/Manufacturing Processes”, International Journal of Computer Integrated Manufacturing, Vol. 15, No.2, pp. 178-192 (2002).
[5] Grigorova, K., “Process Modelling using Petri Nets”, International Conference on Computer Systems and Technologies, Sofia, Bulgaria, (2003).
[6] Buhler, P.A. and Vidal, J.M., “Towards Adaptive Workflow Enactment Using Multiagent Systems”, Information Technology and Management, Vol. 6, Issue 1, pp. 61-87 (2005).
[7] Yu-guang, Z., Kai, X. and Yong, Z., “Modeling and analysis of panel hull block assembly system through timed colored Petri net”, Marine Structures, Vol. 24: pp. 570-580 (2011).
[8] Zuberek, W.M., “Cluster Tools with Chamber Revisiting-Modeling and Analysis Using Timed Petri Nets”, IEEE Transactions On Semiconductor Manufacturing, Vol. 17, No. 3, pp. 333-344 (2004).
[9] Cheng, Y.Y., Rong, K.S. and Yu, C.C., “Application of Petri Nets Do Deadlock Avoidance in iPad-like Manufacturing Systems”, Journal of Intelligent Manufacturing, pp. 1-16 (2014).
[10] Yingying, Su., Jianrong, Wang. and Liang, Tang., “Design and Implementation of Workflow Engine for Process Planning Based on GSPN”, IEEE, Intelligent Information Technology Applications, Vol. 1, pp.721-725 (2008).
[11] Lin, C. and Marinescu, D.C., “stochastic hight-level Petri net and applications”, IEEE, Transaction on computers, Vol. 37, No7, pp. 459-469 (1988).
[12] Hatono, I., Yamagat, K. and Tamura, H “Modeling and online scheduling of flexible manufacturing systems using stochastic Petri nets” IEEE Transaction on Software Engineering, Vol. 17, No. 2, pp. 126 (1991).
[13] Tao, C.C. and Hung, M. C., “隨機派翠網路應用於臺鐵捷運化之運行調度模擬模式建構與分析”, Transportation Planning Journal, Vo1. 44 No. 4, pp. 333-372 (2015).
[14] MengChu, Z. and Frank, D., “Petri net Modelind of Buffers in Automatic Manufacturing system”, IEEE, TRANSACTIONS ON SYSTEMS, Vol. 26, No. 1, pp. 157-164 (1996).
[15] MengChu, Z. and Frank, D., “Modeling Buffers in Automated Manufacturing Systems Using Petri Nets”, IEEE, Proceedings. Rensselaer's Second International Conference on Computer Integrated Manufacturing, pp. 265-266 (1990).
[16] Zhang, W., Freiheit, T. and Yang, H., “Dynamic scheduling in flexible assembly system based on timed Petri nets model”, Robotics and Computer-Integrated Manufacturing . Vol. 21, pp. 550-558 (2005).
[17] Sha, D.Y. and Lin, H.H., “A multi-objective PSO for job-shop scheduling problems”, Expert Systems with Applications, Vol. 35, pp. 1065-1070 (2010).
[18] Ezpeleta, J., Colom, J.M. and Martinez, J., “A Petri Net Based Deadlock Prevention Policy for Flexible Manufacturing Systems”, Ieee, Transactions On Robotics And Automation, Vol. 11, No. 2, pp. 173-184 (1995).
[19] Jong-Kun LEE, Ouajdi KORBAA, and Jean-Claude GENTlNA
“Slices analysis method of Petri Nets in FMS using the Transitive Matrix”, IFAC Proceedings,Vol 34, Issue 17, Pages 225-230(2001).
[20] 呂明山和孫旻聰， 「結合派翠網路及基因演算法於彈性製造系統零件途程動態派遣的應用」，技術學刊，第二十六卷，第一期，民國一百年。
[21] Wu, W.W. and Lee, Y.T., “Developing Global Managers’ Competencies Using the Fuzzy DEMATEL Method”, Expert Systems with Applications, Vol.32, pp.498-507 (2007).
[22] Tuzkaya, U.R. and Önüt, S., “A fuzzy analytic network process based approach to transportation-mode selection between Turkey and Germany: A case study”, Information Sciences, Vol.178, pp.3133-3146 (2008).
[23] Ayag, Z. and Özdemir, R.G., “A hybrid approach to concept selection through fuzzy analytic network process”, Computers and Industrial Engineering, Vol.56, pp.368-379 (2009).
[24] Uygun, Ö. and Dede, A., “Performance evaluation of green supply chain management using integrated fuzzy multi-criteria decision making techniques”, Computers & Industrial Engineering, Vol.102, pp.502-511 (2016).
[25] Vinodh, S., Sai Balagi, T.S. and Patil, A., “A hybrid MCDM approach for agile concept selection using fuzzy DEMATEL, fuzzy ANP and fuzzy TOPSIS”, International Journal of Advanced Manufacturing Technology, Vol.83, pp.1978-1987 (2016).
[26] Zavadskas, E.K., Turskis, Z. and Antuchevicien, J., “Optimization of weighted Aggregated Sum Product Assessment”, Elektronika ir Elektrotechnika - Electronics and Electrical Engineering.
[27] Chakraborty, S. and Zavadskas, E.K., “Applications of WASPAS Method in Manufacturing Decision Making”, Informatica, Vol. 25, No. 1, pp. 1-20 (2014).
[28] Baykasoğlu, A. and Gölcük, İ., "Revisiting ranking accuracy within WASPAS method." Kybernetes (2019).
[29] Chapman, C.B. and Pinfold, M., “Design Engineering-Aneed to Rethink the Solution Using Knowledge Based Engineering” Knowledge-Based Systems, Vol. 12, pp. 257-267 (1999).
[30] Jones, P.L. and Harrison, A., “The Application of Knowledge-BasedTechniques to the Monitoring of Computers in a Large Heterogeneous Distributed Environment”, Knowledge-Based Systems, Vol. 19, pp. 565-575 (2006).
[31] Miyamoto, S., Nonoguchi, S., Matsuno, J. and Matsumura, T., “Application of Knowledge Based Modeling to Detail Structure Design for Shipbuilding”, ICCAS 2002, pp. 717-729 (2002).
[32] Codd, E.F., “A relational model of data for large shared data banks”, Communications of the ACM, Vol. 13, No. 6, pp. 377-387 (1970).
[33] Codd, E.F., “The Relational Model for Database Management”, Version 2, Addison-WesleyLongman Publishing Co, Boston, (1990).
[34] Xu, X., “From cloud computing to cloud manufacturing”, Robotics and Computer-Integrated Manufacturing, Vol. 28, Issue 1, pp. 75-86 (2012).
[35] Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7296 LNCS , pp. 370-376 .
[36] MIPRO 2010 - 33rd International Convention on Information and Communication Technology, Electronics and Microelectronics, Proceedings , art. no. 5533317 , pp. 344-348.
[37] 簡偉德，「應用Timed Petri Net理論於LED投射燈創研流程與組裝流程分析」，碩士論文，國立台灣科技大學機械工程學系，民國104年。
[38] 沈宗逸，「應用Stochastic Petri Net理論於LED舞台燈創研流程與組裝流程分析」，碩士論文，國立台灣科技大學機械工程學系，民國105年。
[39] 張洪嘉，「依據數據流的發展建立LED軌道燈之創研流程與生產流程分析暨相關知識庫建立」，碩士論文，國立台灣科技大學機械工程學系，民國106年。
[40] 薛宇祺，「依據數據流的發展建立創研流程與零件製程規劃及動態排程分析暨相關知識庫建立」，碩士論文，國立台灣科技大學機械工程學系，民國107年。
[41] 廖彥宏，「依數據流的發展建立零件創研流程與近似最佳化切片法之動態排程暨相關知識庫建立」碩士論文，國立台灣科技大學機械工程學系，民國109年。
[42] Fanti, M.P., Maione, B. and Turchiano, B. “Comparing digraph and Petri net approaches to deadlock avoidance in FMS”. Transactions on Systems, Man, and Cybernetics-part B: Cybernetics, Vol. 30, No. 5, pp.783-798 (2000).
[43] Gurov, D.B., Muller, H.A., Kapron, B.M. and Escalante, M.A., “Towards an optimal deadlock avoidance algorithm for flexible manufacturing systems”. International Conference on Systems, Man and Cybernetics. Intelligent Systems for the 21st Century, Vol. 5, pp.4137-4142 (1995).
[44] Piroddi, L. and Ferrarini, L., “A Modular Approach for Deadlock Avoidance in FMS”. Conference on Decision and Control, pp. 4646-4651 (2006).
[45] Xu, G., and Wu, Z., “The application and verification of Banker's algorithm for deadlock avoidance in Flexible Manufacturing System with SPIN”. International Conference on Robotics and Automation ,Cat. No.03CH37422, Vol. 2, pp. 2165-2170 (2003).
[46] 謝其昌、李彥輝與陳勁惟，「手術燈及其LED光源模組」，台灣專利號TWI579495(2017)。
[47] 席彩平，「一种手术无影灯」，中國專利號CN104296013(2015)。
[48] Liang, J.W., “SURGICAL LAMP HANDLE ASSEMBLY WITH BUILT-IN VIDEO CAMERA”, US Patent No.US6909465 (2005).
[49] 萬絢、林明毅、陳宏杰，模糊理論應用與實務，儒林圖書，台北(2006)。
[50] Petri, C.A., “Kommunikation mit Automaten”. Schriften des Rheinisch-Westfälischen Institutes für Instrumentelle Mathematik an der Universität Bonn Nr. 2, (1962).
[51] Peterson, J.L., “Petri Net Theory and the Modeling of Systems”, Prentice Hall Inc. NJ, USA. (1981).
[52] Murata, T., “Petri Nets: Properties, Analysis and Applications”, Proceedings of The IEEE, Vol.77, No. 4, pp. 541-580, April. (1989).
[53] WFMC, “Workflow Management Coalition Terminology and Glossary (WFMC-TC-1011)”, Technical report, Workflow Management Coalition, Brussels (1996).
[54] Ramchandani, C., “Analysis of asynchronous concurrent systems by timed Petri nets”, Technical Report, Project MAC, TR 120, MIT, February (1974).
[55] Florin, G. and Natkin, C. “Stochastic Petri nets: Properties, applications and tools”, Microelectronics Reliability, Vol. 31, Issue 4, pp. 668-697 (1991).
[56] Hatono, I. and Yamagata, K. “Modeling and On-Line Scheduling of Flexible Manufacturing System Using Stochastic Petri Net”, Transaction On Software Engineering Vol. 17, No. 2, (1991).
[57] Tüysüz, F. and Kahraman, C. “Modeling a flexible manufacturing cell using stochastic Petri nets with fuzzy parameters”, Expert Systems with Applications, pp. 3910–3920 (2010).
[58] HITOMI. K., “Manufacturing Systems Engineering”, A unified approach to manufacturing technology andproduction management, (1996).
[59] Chang, T.C , “An Introduction To Automated Process Planning System”, Prentice-hall,.(1954)
[60] 「雲端運算的定義第十五版」，美國國家技術標準局(2009/7/10)
[61] Ranjan, A., Kumar, R. and Dhar, J., “A Comparative Study between Dynamic Web Scripting Languages”, Second International Conference, ICDEM 2010, Tiruchirappalli, India, pp. 28-31, July. (2010).
[62] Enderlin, I., Dadeau, F., Giorgetti, A. and Othman, B.A., “Praspel: A specification language for contract-based testing in PHP”, Lecture Notes in Computer Science, Vol. 7019, pp. 64-79 (2011).
[63] 連方進，「應用代理人行為模式於質子交換模燃料電池創研流程及關聯式工程與專利知識庫改善」，碩士論文，國立台灣科技大學機械工程學系，民國98年。
[64] Date, C.J., “An introduction to database system”, Addison-Wesley Inc, USA., pp. 445-464 (1997).
[65] 張瓊誼，物件導向換資料庫系統之應用與研究，台中商專學報，第26 期 (1994)。
[66] Zadeh, L.A., “Fuzzy Sets”, Information and Control, Vol.8, pp.338- 353, (1965).
[67] Saaty, T.L., Decision Making for Leaders：The Analytical Hierarchy Process for Decisions in a Complex World, Belmont, CA: Wadsworth. (1982).
[68] 李允中、王小璠、蘇木春，模糊理論及其應用，全華圖書，台北 (2012)。
[69] 萬絢、林明毅、陳宏杰，模糊理論應用與實務，儒林圖書，台北(2006)。
[70] Han, W.M., Hsu, C.H. and Yeh, C.Y., “Using DEMATEL to Analyze the Quality Characteristics of Mobile Applications”, Proceedings of the 2014 International Conference on Future Information Engineering and Manufacturing Science, pp.131-134. (2014).
[71] Lin, C.J. and Wu, W.W., “A Causal Analytical Method for Group Decision-Makingunder Fuzzy Environment”, Expert Systems with Applications, Vol.34, No.1, pp.205-213. (2008).
[72] Dijkstra, Edsger W. “Een algorithme ter voorkoming van de dodelijke omarming.”http://www.cs.utexas.edu/users/EWD/ewd01xx/EWD108.PDF(1964).