Universidad Complutense de Madrid
E-Prints Complutense

Ubiquitous systems and Petri nets

Impacto

Downloads

Downloads per month over past year

Frutos Escrig, David de and Marroquín Alonso, Olga and Rosa Velardo, Fernando (2005) Ubiquitous systems and Petri nets. In Computational Science and Its Applications – ICCSA 2005 : International Conference, Singapore, May 9-12, 2005, Proceedings. Lecture notes in computer science, Part I (3481). Springer, pp. 1156-1166. ISBN 978-3-540-25861-2

[img]
Preview
PDF
187kB

Official URL: http://link.springer.com/content/pdf/10.1007%2F11424826_123


URLURL Type
http://www.springer.com/Publisher


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.


Item Type:Book Section
Subjects:Sciences > Computer science
ID Code:20767
Deposited On:11 Apr 2013 09:08
Last Modified:10 Aug 2018 08:28

Origin of downloads

Repository Staff Only: item control page