Abstract
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 of smart technology has been strengthened and expanded such that the resulting technologies promise to revolutionarize daily human life by making people’s surroundings flexible and adaptive. This paper proposes a technique that uses the paradigm of nets within nets to model the behavior of a mobile robot which is sensitive, adaptive and responsive to the presence of a human person and which is able to provide one or more homework.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Nabih, A.K., Gomaa, M.M., Osman, H.S., Aly, G.M.: Simulation and control of smart home Using Petri Nets. International Journal of Smart Home 5(3) (July 2011)
Petri, C.A.: Communication with Automata, vol.1. Applied Data Research, Princeton (1966)
Barkaoui, K., Boucheneb, H., Hicheur, A.: Modelling and Analysis of Time-Constrained Flexible Workflows with Time Recursive ECATNets. In: Bruni, R., Wolf, K. (eds.) WS-FM 2008. LNCS, vol. 5387, pp. 19–36. Springer, Heidelberg (2009)
Ducatel, K., Bogdanowicz, M., Scapolo, F., Leijten, J., Burgelman, J.: Scenarios for ambient intelligence in 2010. Technical report, office for Official Publications of the European communities (2001)
Jensen, K.: Colored petri nets, basic methods, analysis methods and practical use. EATCS monographs on theoretical computer science, vol. 1. Springer (1992)
Duvigneau, M., Moldt, D., Rölke, H.: Concurrent Architecture for a Multi-agent Platform. In: Giunchiglia, F., Odell, J.J., Weiss, G. (eds.) AOSE 2002. LNCS, vol. 2585, pp. 59–72. Springer, Heidelberg (2003)
Köhler, M., Rölke, H.: Towards a unified approach for modeling and verification of multi-agent systems. In: Moldt, D. (ed.) Workshop on Modelling of Objects, Components, and Agents (MOCA 2001), pp. 85–104 (2001)
Köhler, M., Moldt, D., Rölke, H.: Modelling the Structure and Behaviour of Petri Net Agents. In: Colom, J.-M., Koutny, M. (eds.) ICATPN 2001. LNCS, vol. 2075, pp. 224–241. Springer, Heidelberg (2001)
Köhler, M., Moldt, D., Rölke, H.: Modelling Mobility and Mobile Agents Using Nets within Nets. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 121–139. Springer, Heidelberg (2003)
Kummer, O.: Simulating synchronous channels and net instances. In: Desel, J., Kemper, P., Kindler, E., Oberweis, A. (eds.) Workshop Algorithmen und Werkzeuge für Petrinetze, pp. 73–78 (1998)
Kummer, O., Wienberg, F.: Reference net workshop (Renew), www.renew.de
Valk, R.: Petri Nets as Token Objects: An Introduction to Elementary Object Nets. In: Desel, J., Silva, M. (eds.) ICATPN 1998. LNCS, vol. 1420, pp. 1–25. Springer, Heidelberg (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kissoum, Y., Maamri, R., Sahnoun, Z. (2012). Modeling Smart Home Using the Paradigm of Nets within Nets. In: Ramsay, A., Agre, G. (eds) Artificial Intelligence: Methodology, Systems, and Applications. AIMSA 2012. Lecture Notes in Computer Science(), vol 7557. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33185-5_32
Download citation
DOI: https://doi.org/10.1007/978-3-642-33185-5_32
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-33184-8
Online ISBN: 978-3-642-33185-5
eBook Packages: Computer ScienceComputer Science (R0)