本文主要應用雲端運算的概念結合Petri Net理論建構LED水族燈創研流程混合雲。其創研流程混合雲架構有中英專利檢索公有雲、關聯式專利知識庫與工程知識庫應用服務私有雲、遠端修正式TRIZ與商業軟體私有雲、關聯式專利知識庫與工程知識庫輸入應用服務私有雲，使用者可以經由中英專利檢索公有雲，找尋相關載具專利，縮短使用者找尋專利時間。本文運用Petri Net理論具有流程迴路的功能來結合LED水族燈創研流程混和雲，建立LED水族燈相關專利知識與工程知識之流程，再依照本文所建立的流程來設計建立關聯式工程知識庫和專利知識庫的各層知識欄位表，進而建立LED水族燈所需設計相關之工程知識庫及專利知識庫，再以遠端桌面連線的概念，連結遠端主機作修正式TRIZ的改良與商業軟體的分析，之後形成結合Petri Net與LED水族燈創研流程混合雲的創研流程架構。最後以LED水族燈的水冷裝置改良做為本文所建立的電腦系統之結合雲端運算與Petri Net理論的輸入及搜尋案例解說。

The paper mainly applies the concept of cloud computing and Petri Net theory to establish hybrid cloud of innovative research procedures of LED aquarium light. In the hybrid cloud structure of innovative research procedures, there are public cloud of Chinese and English patent retrieval, private cloud of relational patent knowledgebase and engineering knowledgebase application service, private cloud of remote modified TRIZ and commercial software, private cloud of relational patent knowledgebase and engineering knowledgebase input application service. Through the public cloud of Chinese and English patent retrieval, users can search the related carrier patents, and shorten their time in search of patents. Making use of the function of flowsheet return circuit in Petri Net theory, the paper combines it with the hybrid cloud of innovative research procedures of LED aquarium light in order to establish the related patent knowledge and engineering knowledge procedures of LED aquarium light. According to the procedures established by the paper, the paper designs and establishes a table of knowledge on each level of relational engineering knowledgebase and patent knowledgebase. Furthermore, the paper establishes relevant engineering knowledgebase and patent knowledgebase required to be designed for LED aquarium light. After combining the concept of remote desktop connection with the remote mainframe for improvement of the modified TRIZ and analysis of commercial software, the paper forms a structure of innovative research procedures that mixes Petri Net with the hybrid cloud of innovative research procedures of LED aquarium light. Finally, the improvement of water cooling device of LED aquarium light is taken as an example for input of the combination of cloud computing with Petri Net theory to the computer system established by the paper, and for explanation of the search examples.

[1]Dirk O., Nicolas G. and Heinz W., “Reactive Hand-Arm Coordination for a Humanoid Robot using Extended Petri-Nets” IEEE/ASME international conference, Issue 4-7, pp. 1 – 6 (2007).
[2]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).
[3]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, pp178-192 (2002).
[4]Grigorova K., “Process Modeling using Petri Net”, International Conference on Computer Systems and Technologies, 2003.
[5]Buhler P. A. and Vidal J. M., “Towards Adaptive Workflow Enactment Using Multiagent Systems”, Information Technology and Management Journal, 2003.
[6]Low, M. T., Lamvik, K. W. and Myklebust, O., “Manufacturing a green service: engaging the TRIZ model of innovation”, IEEE Transactions on Electronics Packaging Manufacturing, Vol. 24, Issue 1, pp.10–17 (2001).
[7]Chang, H.T. and Chen, J. L., “The Conflict-Problem-Solving CAD Software Integrating TRIZ into Eco-Innovation”, Advances in Engineering Software, Vol.35, Issue 8-9, pp.553-566 (2004).
[8]Wang, H., Chen, G., Lin, Z. and Wang, H., “Algorithm of Integrating QFD and TRIZ for the Innovative Design Process”, International Journal of Computer Applications in Technology, Vol.23, Issue 1, pp.41-52 (2005).
[9]Tong, L. H., He C. and Shen, L., “Automatic Classification of Patent Documents for TRIZ Users”, World Patent Information, Vol.28, pp.6-13 (2006).
[10]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).
[11]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).
[12]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).
[13]Codd, E. F., A relational model of data for large shared data banks, CACM 13,pp.377-387（1970）.
[14]Codd, E. F., The Relational Model for Database Management: Version 2,Addison Wesley, Reading, pp.538（1990）.
[15]Xu, X , “From cloud computing to cloud manufacturing”, Volume 28, Issue 1, pp. 75-86 (2012)
[16]Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7296 LNCS , pp. 370-376
[17]MIPRO 2010 - 33rd International Convention on Information and Communication Technology, Electronics and Microelectronics, Proceedings , art. no. 5533317 , pp. 344-349
[18]「雲端運算的定義第十五版」，美國國家技術標準局，2009年，七月十日
[19]Peterson, J.L., “Petri Net Theory and the Modeling of Systems”, Prentice Hall Inc (1981).
[20]Marsan M. A., Conte G., and Balbo G., “A Class of Generalized Stochastic Petri Nets for the Performance Evaluation of Multiprocessor Systems”, ACM Transactions on Computer Systems, Vol.2, No.2, pp.93-122, (1984).
[21]WFMC, “Workflow Management Coalition Terminology and Glossary”, Workflow Management Coalition, Brussels, 1996.
[22]Zone-Ching, L. and Chein-Chung, C., “Innovation Procedure for Polishing Times Calculations of Compensated CMP Using Multiple Steps of the Modified TRIZ Method” International Journal of Innovative Computing, Information and Control, Vol. 5, No. 8, pp. 2311-2332 (2009).
[23]Terninko, J., ”The QFD, TRIZ and Taguchi Connection : Customer– Driven Robust Innovation”, The Ninth Symposium on Quality Function Deployment, pp374-380 (1997).
[24]Terninko, J., ”The QFD, TRIZ and Taguchi Connection : Customer– Driven Robust Innovation”, The Ninth Symposium on Quality Function Deployment, pp374-380 (1997).
[25]Leon-Rovira, N. and Aguayo, H., “A new Model of the Conceptual Design Process using QFD/FA/TRIZ”, The TRIZ Journal. http://www.triz-journal.com/, July (1998).
[26]Apte, P. R. and Mann, D. L., “Taguchi and TRIZ: Comparisons and Opportunities”, The TRIZ Journal, http://www.triz-journal.com/, November, (2001).
[27]連方進，「應用代理人行為模式於質子交換模燃料電池創研流程及關聯式工程與專利知識庫改善」，碩士論文，國立台灣科技大學機械工程學系，台北(2009)
[28]Date C. J., An introduction to database system, Addison-Wesley, pp.445-464（1997）.
[29]張瓊誼，物件導向換資料庫系統之應用與研究，台中商專學報，第26 期（1994）。
[30]Enderlin, I., Dadeau, F., Giorgetti, A. and Ben Othman, A."Praspel: A specification language for contract-based testing in PHP",Lecture Notes in Computer Science,7019,pp.64-79(2011)
[31]Holonyak Jr., N. and Bevacqua, S. F. “Coherent (visible) light emission from Ga (As1-xPx) junctions”, Applied Physics Letters, Vol.1, Issue 4, pp.82-83 (1962).
[32]Steigerwald, D. A., Bhat, J. C., Collins, D., Fletcher, R. M., Holcomb, M.O., Ludowise, M. J., Martin, P. S. and Rudaz, S. L. “Illumination with Solid State Lighting Technology”, IEEE Journal of Selected Topics in Quantum Electronics, Vol.8, Issue 2, pp.310-320 (2002).