Some computer science issues in ubiquitous computing
Communications of the ACM - Special issue on computer augmented environments: back to the real world
The computer for the 21st century
Human-computer interaction
Concurrency in communicating object petri nets
Concurrent object-oriented programming and petri nets
Modeling dynamic objects in distributed systems with nested Petri nets
Fundamenta Informaticae
Petri Nets as Token Objects: An Introduction to Elementary Object Nets
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Nested Petri Nets: Multi-level and Recursive Systems
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2000)
ICCS'03 Proceedings of the 2003 international conference on Computational science: PartII
ECA-Rule Visual Programming for Ubiquitous and Nomadic Computing
MICAI '08 Proceedings of the 7th Mexican International Conference on Artificial Intelligence: Advances in Artificial Intelligence
Mobile Synchronizing Petri Nets: A Choreographic Approach for Coordination in Ubiquitous Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |
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.