Modeling smart home using the paradigm of nets within nets
作者： Yacine Kissoum , Ramdane Maamri , Zaidi Sahnoun
DOI: 10.1007/978-3-642-33185-5_32
关键词: Human–computer interaction 、 Home automation 、 Artificial intelligence 、 Mobile robot 、 Environmental systems 、 Computer science 、 Human life 、 Smart technology 、 Nets within Nets 、 Control (management) 、 Ambient intelligence
摘要: Smart home is a sub branch of ambient intelligence technology. It was initially used to control environmental systems such as lighting and heating; but recently the use smart technology has been strengthened expanded that resulting technologies promise revolutionarize daily human life by making people's surroundings flexible adaptive. This paper proposes technique uses paradigm nets within model behavior mobile robot which sensitive, adaptive responsive presence person able provide one or more homework.
springer.com
sci-hub.st 参考文章(14)
Rüdiger Valk, Petri Nets as Token Objects International Conference on Application and Theory of Petri Nets. pp. 1- 24 ,(1998) , 10.1007/3-540-69108-1_1
Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Verified Reference Implementations of WS-Security Protocols Lecture Notes in Computer Science. ,vol. 4184, pp. 88- 106 ,(2006) , 10.1007/11841197_6
Michael Duvigneau, Daniel Moldt, Heiko Rölke, Concurrent architecture for a multi-agent platform AOSE'02 Proceedings of the 3rd international conference on Agent-oriented software engineering III. pp. 59- 72 ,(2002) , 10.1007/3-540-36540-0_5
Robin Milner, The Flux of Interaction applications and theory of petri nets. pp. 19- 22 ,(2001) , 10.1007/3-540-45740-2_2
Michael Köhler, Daniel Moldt, Heiko Rölke, Modelling the Structure and Behaviour of Petri Net Agents applications and theory of petri nets. pp. 224- 241 ,(2001) , 10.1007/3-540-45740-2_14
Michael Köhler, Daniel Moldt, Heiko Rölke, Modelling mobility and mobile agents using nets within nets applications and theory of petri nets. ,vol. 2769, pp. 121- 139 ,(2003) , 10.1007/3-540-44919-1_11
Rüdiger Valk, Petri Nets as Token Objects: An Introduction to Elementary Object Nets applications and theory of petri nets. pp. 1- 25 ,(1998)
Kamel Barkaoui, Hanifa Boucheneb, Awatef Hicheur, Modelling and Analysis of Time-Constrained Flexible Workflows with Time Recursive ECATNets web services and formal methods. pp. 19- 36 ,(2009) , 10.1007/978-3-642-01364-5_2
Carl A. Petri, COMMUNICATION WITH AUTOMATA: Volume 1 Supplement 1 Defense Technical Information Center. ,(1966) , 10.21236/AD0630125
Mostafa M. Gomaa, Azza K. Nabih, Gamal M. Aly, Hossam S. Osman, Modeling, Simulation, and Control of Smart Homes Using Petri Nets ,(2011)