在本篇論文中，我們使用了一個數學模型來簡化環境設定的程序，使系統的變更有一個標準的模型，達成讓一般使用者都可以任意調整的目標。這個數學模型為Petri net的延伸，在本篇論文中將此模型被定名為Home Petri net。Home Petri net應用Context-Aware Petri net使使節點具有多重的意義，能儲存運算多種不同型態的資料，並延伸Petri net的基本概念，使其能集中管理智慧家庭中複數同時運作的系統。相較於過往Petri net所討論單一程序運作的方式，各個系統各自運作，彼此獨立。智慧家庭中大多系統是獨立運作的，但可能發生感測器共用或輸出物件共用的情況，即使有不同的處理流程和使用方式，因此集中管理可以避免資源佔用或無法預期的狀況。此外為了取得所有衝突的部分並節省系統搜索需要的時間，所以不同於過往一次最多一個程序被處理的情況，平行處理為Home Petri net基本的設計概念，在一次的運算中取得所有的可能被觸發的程序進行運作，採用最佳的衝突決策方法選擇最佳的程序，然後採用標誌更新的合併演算法取得所有Token的使用情形。結構的部分，Home Petri net參考物件導向的概念提出Basic net模型，Home Petri net定義Basic net為基本的模型，用以聯結產生整個系統。其中Basic net包含兩種結構，分別為固定結構與選用結構，固定結構為Basic net的核心，聯結的方式在系統被設計時就已經定義，允許使用者改變內部處理的方式，不允許改變節點連接的方式；選用結構或稱為分支網路是用來並聯不同的Basic net，使內部資料可以溝通。Home Petri net基於Basic net的概念並提出兩層式架構，使Basic net可以串聯讓程序的處理更為多樣性。由於Basic net的使用，系統會有規則的連結在一起，大大降低了死結發生的機會，整個系統發生死結的機會，只有在變更系統設定的時候，因此Home Petri net使用一個簡單的數學模型將多餘的不完整的移除，使系統可以穩定的運作。在安全可靠的系統中，使用Home Petri net這個系統架構就可以讓使用者隨意的變更系統設定。

In this thesis, we use mathematical model to simplify the process of building system that this method makes the process update regular. Then, the system can be modified by common people. This mathematical model is extent from Petri net and it defined as Home Petri net in this thesis. Home Petri net applies Context-Aware Petri net to let the node have multiple meaning which enable to save or operate different type of data. In addition, Home Petri net extends the concept of Petri net so that it can centralized manage multiple concurrent system in the smart home. Comparison standard Petri net, it is focus on single operating process and every system independently operate. Smart home is composed of many independently system but it is possible that the sensor and controllable object are shared to multiple system even if the procedure various. Centralized management can prevent from occupancy for resource or out of control. Besides, in order to have the conflict of the system and to reduce the searching time, parallel process is considered as the fundamental concept of Home Petri net that it is difference between at most one procedure in a process time. Once operation, all of enabling procedures will be got and the system applies better conflict decision method to choose the better one. No matter the procedure is conflict or not and the system use marking update algorithm to have the entire usage of token. In structure, Home Petri net refer to object oriented design and we proffer the concept of basic net that it use to produce the entire system by linkage. Basic net contains two different types of structure such as fixed structure and optional branch net. Fixed structure is the core of basic net and its connection manner is predefined that it limited allow user transform the method of operation whereas the way of node connection is not permitted. On the other hand, the optional branch net is used to connect parallel basic net that the basic net can share the same information and it follows the user demand. Furthermore, Home Petri net is proposed to two layers architecture based concept of basic net and two layers architecture is used to serial connect the basic net. According to the basic net, different system will have a rule to connect with each other so that it can reduce the possibility of deadlock occurrence. The deadlock occurs only when the system is modified. So, this thesis is proposed a simply mathematical method to solve the deadlock and the fundamental idea is removing the un-ideal part based basic net so that the system can operate normal. Assume the original system is normal without deadlock. The setting of the system can be change by any people.

[1] Y. Dong, B. Zhang and K. Dong, “An integrated PLC smart home system in pervasive computing,” Ubiquitous Intelligence & Computing and 7th International Conference, pp.288-291, 2010.
[2] M. Yan, Z. Li, N. Wei, and M. Zhao, “A deadlock prevention policy for a class of Petri nets ,” Journal Of Information Science and Engineering, Vol. 25, pp 167-183, 2009.
[3] C. B. Yang, “Reducing conflict resolution time for solving graph problems in broadcast communications,” Information Processing Letters, Vol. 40, pp.295-302, 1991.
[4] F. E. Hohn, Elementary Matrix Algebra, Macmillan: New York, 1985.
[5] B. Frank, oBIX Specification, Working Draft 0.8, December 2005.
[6] X. Li, W. Hong J. Song, and J. Kang “Research on linguistic concept creation method applied to environmental comfort sensors in health smart home,” the 27th Annual International Conference on Engineering in Medicine and Biology, pp. 6025-6055, 2005.
[7] J. M. R. Alamo and J. Wong, “Service-oriented middleware for smart home applications”, IEEE Wireless Hive Networks Conference, 2008. WHNC 2008. pp.1-4, 2008.
[8] Coyle, S. Neely, G. Stevenson, M. Sullivan, S. Dobson, and P. Nixon, “Sensor fusion-based middleware for smart homes,” International Journal of ARM, Vol. 8, No. 2, pp53-60, June 2007.
[9] D. H., Z. Bien, and W.-C. Bang, “The smart house for older persons and persons with physical disabilities: Structure, technology arrangements, and perspectives,” IEEE Transaction on Neural Systems and Rehabilitation Engineering, Vol. 12, No. 2, p.p. 228-250, June 2004.
[10] H.B. Stauffer, “Smart enabling system for home automation,” IEEE Transaction on Consumer Electronics, Vol 37, pp. 29-35, May 1991.
[11] R., Lutolf, “Smart home concept and the integration of energy into a home based system,” 7th International conference on Metering Apparatus and Tariffs for Electricity Supply, 1992.
[12] J.-M. Hsu and I-R. Chang, “Design a virtual object representing human-machine interaction for music playback control in smart home,” International Conference on Complex, Intelligent and Software Intensive Systems, 2009 CISIS '09, pp. 614 – 619, 2009.
[13] M. L. Smith, “Sensors, appliance control, and fuzzy logic”, IEEE Transaction on Industry Application, Vol 30, March/April 1994.
[14] M. Chan, C. Hariton, P. Ringeard, and E.Campo, “Smart house automation system for the elderly and disabled,” IEEE International Conference on System, Man and Cybernetics, Vol 2, pp. 1586-1589, Oct. 1995.
[15] M. H. Shwehdi, A. Z. Khan, “A power line data communication interface using spread spectrum technology in home automation,” IEEE Transaction on Power Delivery, Vol. 11, pp. 1232-1237, Jul 1996.
[16] Y. Weichen, Y. Bar-Ness, and A.M. Haimovich, “Usage of smart antenna for cancelling neighboring base-station interferences in wireless CDMA communications,” Thirty-First Asilomar Conference on Signals, Systems & Computers, Vol. 1, pp. 640-644, Nov 1997.
[17] S. Read, “Successful programming for information appliances”, Conference Proceeding Wescon/97, pp. 24-29, Nov 1997.
[18] T. Erickson, “Turbidity sensing as a building block for smart appliances,” IEEE Industry Applications Magazine, Vol 3, pp. 31-36, Jun 1996.
[19] J. Francisco, L.J.Z. Fernandez, and R. Ramon, “A system for ubiquitous fall monitoring at home via a wireless sensor network”, Engineering in Medicine and biology Society (EMBC), 2010 Annual International Conference of the IEEE, pp. 2246-2249, Sept 2010.
[20] W. Dai, J.J. Liu, “Context aware adaptive services framework,” 7th International Conference on Service Systems and Service Management (ICSSSM), pp. 1-6, June 2010.
[21] L. Yiqin, Y. Yao, S. Yingkai, and Y. Xiaodong, “An approach to service integration in the OSGi architecture of home networks,” 11th IEEE Singapore International Conference on Communication Systems, pp. 756-760, Nov. 2008.
[22] L. Zhang, H. Leung, K. Chan, ” Information fusion based smart home control system and its application,” IEEE Transactions on Consumer Electronics, Vol.54, pp 1157-1165, August 2008.
[23] Z. Wang, Z. Liu, L. Shi, “The smart home controller based on zigbee,” 2010 2nd International Conference on Mechanical and Electronics Engineering, pp. 300-302, 2010.
[24] K. Kang, J. Lee, and H. Choi, “Extended service registry for distributed computing support in OSGi architecture,” The 8th International Conference on Advanced Communication Technology, Vol. 3, pp.1631 - 1634, 2006.
[25] A. M. Tabar, A. Keshavarz, and H. Aghajan. “Smart home care network using sensor fusion and distributed vision-based reasoning,” Proc. of VSSN 2006, October 2006.
[26] I.F. Akvildiz, W. Su, Y. Sankarasubramaniam and E. Cayirci, “Wireless sensor networks: a survey,” Comput. Networks, Vol. 38, pp. 393–422, 2002.
[27] C.-H. Huang and K.C. Chen, “Decision-prediction sensor fusion for intelligent mobile device navigation,” IEEE Vehicular Technology Conference – Spring, 2009., Barcelona, Spain, Apr. 2009.
[28] 江至, 智慧型家庭中基於監督式系統之派屈網路, 碩士論文, 國立台灣科技大學, 台北, 2008.
[29] T. Murata, “Petri nets: Properties, analysis and applications,” Proceeding of the IEEE, vol. 77 no. 4, April 1989.
[30] Y.-S. Lee and S.-B. Cho, “Context-aware Petri Net for dynamic procedural content generation in role-playing game,” IEEE Computational Intelligence, Vol. 6, No. 2, pp. 16-25, May 2011.
[31] 林晏冬, 設備與環境整合的智慧家庭系統, 碩士論文, 國立台灣科技大學, 台北, 2009.
[32] L. N. Hoang, “Middlewares for home monitoring and control,” TKK T-110.5190 Seminar on Internetworking, May 2007.
[33] OSGi Alliance Open Service Gateway initiative specification v1.0 OSGi Service Gateway Specification - Release 1.0 http://osgi.org/osgi_technology/download_specs2.asp?section=2
[34] C. A. Petri, Communication with automata, Technical Report RACD-TR-65-377, Rome Air Dev. Center, New York, 1996.
[35] J. L. Peterson, Petri Net Theory and the Modeling of Systems, Englewood Cliffs, NJ: Prentice-Hall, 1981.
[36] C. Brom and A. Abonyi, “Petri nets for game plot,” in Proc. AISBA Artificial Intelle\igence and Simulation Behavior Convention, Bristol, U.K., Vol. 3, pp. 6-13, 2006.
[37] Y.-S. Lee and S.-B. Cjo, “Exploiting mobile contexts for Petri-net to generate a story in cartoons,” Appl. Intell., Vol. 34, No. 1, pp. 1-18, 2010.
[38] Z. Banaszak and B. H. Krogh, “Deadlock avoidance in flexible manufacturing system with concurrently competing process flows,” IEEE Transactions on Robotics and Automation, Vol. 6, pp. 720-734, 1990.
[39] F. S. Hsien and S. C. Chang, “Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems,“ IEEE Transaction on Robotics and Automation, Vol. 10, pp. 196-209, 1994.
[40] J. Park and S. A. Reveliotis, “Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings,” IEEE Transactions on Robotics and Automation, Vol. 46, pp. 1572-1583, 2001.
[41] K. Barkaoui and I. F. Pradat-Peyre, “On liveness and controlled siphons in Petri nets,” Application and Theory of Petri Nets, Vol. 1091, pp. 57-72, 1996.
[42] K. Y. Xing, B. S. Hu, and H. X. Chen, “Deadlock avoidance policy for Petri-net modeling of flexible manufacturing systems with shared resources,” IEEE Transactions on Automatic Control, Vol. 42, pp. 289-295, 1996.
[43] M. Uzam, “An optimal deadlock prevention policy for flexible manufacturing systems using on Petri net models with resources and the theory of regions,” International Journal of Advanced Manufacturing Systems, Vol. 19, pp. 192-208, 2002.
[44] M. D. Jeng, X. L. Xie, and M. Y. Peng, “Process nets with resources for manufacturing modeling and their analysis,” IEEE Transactions on Robotics and Automation, Vol. 18, pp. 875-889, 2002.
[45] H. Zandong, G. Lee, “Application of Petri nets for deadlock analysis and avoidance in flexible manufacturing systems,” The International Journal of Advanced Manufacturing Technology, Vol.25, Iss.7-8, pp.735, 2005.
[46] F. L. Lewis, “Wireless sensor networks,” Smart Environments: Technologies, Protocols, and Applications, pp. 1-18, 2004
[47] X. Gao and L. Zhao, “Research and design of smart home system based on Zigbee technology,” 2010 International Conference on Artificial Intelligence and Computational Intelligence (AICI), vol. 2 pp. 290-293, 2010.
[48] J. Wang, Timed Petri Nets, Theory and Application, Boston: Kluwer Academic Publishers, 1998.