智慧居家家庭(Smart Home)為近年來熱門討論的主題，如何在這個具有高度彈性的環境中，系統能夠依據居住者行為與習慣所產生出來的事件，能對此事件做出合理的對應，並且使控制物件也能做出正確的對應動作。派屈網路（PN）能夠把真實事件，將其表示成圖型事件狀態，當限制條件達到滿足時，圖形事件得以轉換至下個狀態。本論文將定義家庭中所使用的感測器物件，對照其元件特性與對應事件的狀態，將其表示成派屈網路，且使用者能透過簡易操作介面，迅速設定出所想要的需求並合理化的配置於系統裡。

Recently, Smart Home is one of the most popular research subjects. Smart home can response to the events which are induced by inhabitants in the flexible environment. Petri Nets (PN) has the ability of representing events caused by inhabitants and of deducing actions that may change the current state when some conditions are satisfied. In this thesis, the characteristic of sensors will be transformed into the properties of PN so that it can be integrated into the system. With the use of Petri Nets, this system can arrange all kind of demands reasonably. Then the inhabitant can modify the system easily and quickly in a user-friendly interface.

[1]F. J. Vlaskamp, “From alarm systems to smart houses,” Home Health Care Services Quarterly, Vol. 13, No. 3-4, pp. 105-122, 1992.
[2]V. Callaghan, G. Clarke, M. Colley, H. Hagras, J.S.Y. Chin, and F. Doctor, ” Inhabited intelligent environments,” BT Technology Journal, Vol. 22, No. 3, pp. 233-247, 2004.
[3]D. R. Armac, “Simulation of smart environments,” 2007 IEEE International Conference on Pervasive Services, ICPS, pp. 257-266, 2007.
[4]Y. Kawahara, H. Morikawa, and T. Aoyama, “Intelligent interface systems utilizing user context-awareness,” Proceedings of the Sixth International Conference on Machine Learning and Cybernetics, ICMLC 2007 4, pp. 2119-2124, 2007.
[5]J.-F. Man, L.-M. Yang, W.-Q. Zhu, and Q.-Q. Li, “A model of smart home fusing multi-intelligence,” Proceedings - 2008 4th International Conference on Intelligent Information Hiding and Multimedia Signal Processing, IIH-MSP 2008, pp. 56-59, 2008.
[6]T. Yamazaki, “Ubiquitous home: Real-life testbed for home context-aware service,” Proceddings - First International Conference on Testbeds and Research Infrastructures for the Development of Networks and Communities, Tridentcom 2005, pp. 54-59, 2005.
[7]M. Kolberg, E. H. Magill, M. Wilson, “Compatibility Issues between Services Supporting Networked Appliances,” IEEE Communications Magazine, Vol. 41, No. 11, pp. 136-147, 2003.
[8]S. K. Das, D. J Cook, A. Bhattacharya, E. O. Heierman III, and T.-Y. Lin, “The role of prediction algorithms in the MavHome smart home architecture,” IEEE Wireless Communications, Vol. 9, No. 6, pp, 77-84. 2002.
[9]S. K. Das and D. J Cook, “Designing smart environments: A paradigm based on learning and prediction,” Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, 3776 LNCS, pp. 80-90, 2005.
[10]S.-H. Lee and T.-C. Chung, “System architecture for context-aware home application,” Proceedings - Second IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, pp. 149-153, 2004.
[11]T. Gu, H.K. Pung, and D.Q. Zhang, “A service-oriented middleware for building context-aware services,” Journal of Network and Computer Applications, Vol. 28, No. 1, pp. 1-18, 2005.
[12]M.-X. Qi, C. Qi, and T.-S. Huang, “Home automation system based on power line carrier communication technology,” Dianli Zidonghua Shebei / Electric Power Automation Equipment, Vol. 25, No. 3, pp. 75, 2005.
[13]T. Gu, H.K. Pung, and D.Q. Zhang, “Toward an OSGi-based infrastructure for context-aware application,” IEEE Pervasive Computing, Vol. 3, No. 4, pp. 66-74, 2004
[14]D. Leake, A. Maguitman, and T. Reichherzer, “Cases, context, and comfort: Opportunities for case-based reasoning in Smart Homes,” Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, 4008 LNAI, pp. 109-131, 2006.
[15]R. S. Raji and Ted. Davis, “Smart networks for control,” IEEE Spectrum, Vol. 31, No. 6, pp. 49-55, 1994.
[16]N. Sriskanthan, F. Tan, and A. Karande, “Bluetooth based home automation system,” Microprocessors and Microsystems, Vol. 26, No. 6, pp. 281-289, 2002.
[17]P. Tang and T. Venables, “Smart homes and telecare for independent living,” Journal of Telemedicine and Telecare, Vol. 6, No. 1, pp. 8-14, 2000.
[18]D.-H. Chae, et al, “Power saving mobility protocol for sensor network,” Proceedings - Second IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, pp. 122-126, 2004.
[19]O. Bimber , A. Emmerling, and T. Klemmer, “Embedded entertainment with smart projectors,” Computer, Vol. 38, No. 1, pp. 48-55, 2005.
[20]A. Casimiro, J. Kaiser, and P. Veríssimo, “An architectural framework and a middleware for cooperating smart components,” 2004 Computing Frontiers Conference, pp. 28-39, 2004.
[21]J. Pan, Z. Huang, G. Mao, and J. Dong, “A context awareness architecture for mobile learning based on Fuzzy Petri Nets,” Proceedings - 16th International Conference on Artificial Reality and Telexistence - Workshops, ICAT 2006, pp. 552-557, 2006.
[22]B.-C. Cheng, H. Chen, and R.-Y. Tseng, “Context-aware gateway for ubiquitous SIP-based services in smart homes,” Proceedings - 2006 International Conference on Hybrid Information Technology, ICHIT 2006 2, pp. 374-381, 2006.
[23]J.-H. Choi, D. Shin, and D. Shin, “Research and implementation of the context-aware middleware for controlling home appliances,” IEEE Transactions on Consumer Electronics, Vol. 51, No. 1, pp. 301-306, 2005.
[24]J.-H. Choi, S.-Y. Choi, D. Shin, and D. Shin, “Research and implementation of the context-aware middleware based on neural network,” Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science) 3397, pp. 295-303, 2005.
[25]H. Qin and X. Zhou, “Integrating context aware with sensornet,” Proceedings - First International Conference on Semantics, Knowledge and Grid, SKG 2005, 2006.
[26]H. Qin, and X. Zhou, “A context storage scheme for sensornet,” Jisuanji Gongcheng/Computer Engineering, Vol. 32, No. 18, pp. 28-31, 2006.
[27]L. Chavarría-Báez and X. Li, “Verification of active rule base via conditional colored Petri nets,” Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics, pp. 343-348, 2007
[28]C. A. Petri, “Communication with Automata,” Technical Report RACD-TR-65-377, Rome Air Dev. Center, New York, 1966.
[29]T. Murata, “Petri nets: Properties, analysis and applications,” Proceedings of the IEEE, Vol. 77, No. 4, pp. 541-580, 1989.
[30]J. O. Moody and P. J. Antsaklis. Supervisory Control of Discrete Event System Using Petri Nets, Boston: Kluwer Academic Publishers, 1998.
[31]J. Wang, Timed Petri Nets, Theory and Application, Boston: Kluwer Academic Publishers, 1998.
[32]李允中, 王小璠, 蘇木春, 模糊理論及其應用, 全華科技圖書股份有限公司, 2003.
[33]K. Jensen, Coloured Petri Nets Basic Concepts Analysis Methods and Practical Use (3 volumes). London: Springer-Verlag, 1997.
[34]C. Ramchandai, “Analysis of asynchronous concurrent systems by Petri nets,” Project MAC, TR-120,M.I.T., Cambridge, MA, 1974.
[35]J.J. Alferes, F. Banti, and A. Brogi, “An event-condition-action logic programming language,” Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, 2006.