Abstract
Several years before the popularization of the Internet, Mark Weiser proposed the concept of ubiquitous computing with the purpose of enhancing the use of computers by making many computers available throughout the physical environment, but making them effectively invisible to the user. Nowadays, such idea affects all areas of computing science, including both hardware and software. In this paper, a formal model for ubiquitous systems based on Petri nets is introduced and motivated with examples and applications. This simple model allows the definition of two-level ubiquitous systems, composed of a collection of processor nets providing services, and a collection of process nets requesting those services. The modeled systems abstract from middleware details, such as service discovery protocols, and security infrastructures, such as PKI’s or trust policies, but not from mobility or component compatibility.
This is a preview of subscription content, log in via an institution to check access.
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
Cardelli, L.: Mobility and Security. In: Proceedings of the NATO Advanced Study Institute on Foundations of Secure Computation, pp. 3–37. IOS Press, Amsterdam (2000)
Cheverst, K., Dix, A., Fitton, D., Rouncefield, M.: ‘Out To Lunch’: Exploring the Sharing of Personal Context through Office Door Displays. In: Proceedings of the Australasian Computer-Human Conference-OzCHI 2003, pp. 74–83 (2003)
Frutos Escrig, D., Marroquín Alonso, O.: Ambient Petri Nets. In: Foundations of Global Computing 2003, ENTCS, vol. 85, p. 27 (2003)
Frutos Escrig, D., Marroquín Alonso, O.: Replicated ambient petri nets. In: Sloot, P.M.A., Abramson, D., Bogdanov, A.V., Gorbachev, Y.E., Dongarra, J., Zomaya, A.Y. (eds.) ICCS 2003. LNCS, vol. 2658, pp. 774–783. Springer, Heidelberg (2003)
Lomazova, I.A.: Nested Petri Nets; Multi-level and Recursive Systems. Fundamenta Informaticae 47, 283–293 (2002)
Lomazova, I.A.: Modeling Dynamic Objects in Distributed Systems with Nested Petri Nets. Fundamenta Informaticae 51, 121–133 (2002)
Milner, R.: Theories for the global ubiquitous computer. In: Walukiewicz, I. (ed.) FOSSACS 2004. LNCS, vol. 2987, pp. 5–11. Springer, Heidelberg (2004)
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)
Valk, R.: Concurrency in communicating object petri nets. In: Agha, G.A., De Cindio, F., Rozenberg, G. (eds.) APN 2001. LNCS, vol. 2001, pp. 164–195. Springer, Heidelberg (2001)
Want, R.: Enabling Ubiquitous Sensing with RFID. Computer 37(4), 84–86 (2004)
Weiser, M.: Some Computer Science Issues in Ubiquitous Computing. Communications of the ACM 36(7), 74–84 (1993)
Weiser, M.: The Computer for the 21st Century. In: Proceedings of Human-computer Interaction: Toward the Year 2000, pp. 933–940. Morgan Kaufmann Publishers Inc., San Francisco (1995)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
de Frutos Escrig, D., Alonso, O.M., Velardo, F.R. (2005). Ubiquitous Systems and Petri Nets. In: Gervasi, O., et al. Computational Science and Its Applications – ICCSA 2005. ICCSA 2005. Lecture Notes in Computer Science, vol 3481. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11424826_123
Download citation
DOI: https://doi.org/10.1007/11424826_123
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25861-2
Online ISBN: 978-3-540-32044-9
eBook Packages: Computer ScienceComputer Science (R0)