RT Book, Section
T1 Ubiquitous systems and Petri nets
A1 Frutos Escrig, David de
A1 Marroquín Alonso, Olga
A1 Rosa Velardo, Fernando
A2 Gervasi, Osvaldo
AB 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.
PB Springer
SN 978-3-540-25861-2
YR 2005
FD 2005
LK https://hdl.handle.net/20.500.14352/53226
UL https://hdl.handle.net/20.500.14352/53226
LA eng
NO MCyT
DS Docta Complutense
RD 29 abr 2024