The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
Modeling Context-Aware Ubiquitous Systems Using Petri Nets
Abstract
A context-aware ubiquitous computing system is required to constantly perceive, understand, and react to dynamic information coming from its environment and users in real time. Guaranteeing correctness, flexibility, and verifiability in such systems demands sophisticated modeling techniques that can account for the aspects of concurrency, data semantics, and changing environments. In this chapter, Context-Aware Petri Nets (CAPNs) will be introduced as an approach to modeling ubiquitous systems. The formal notation of CAPNs will be described, important context aspects and their possible models will be discussed, as well as some basic guidelines on how to construct a CAPN. Finally, several methods for verifying the designed CAPNs will be presented, along with examples illustrating different applications of CAPNs, such as smart homes, healthcare, and Internet-of-Things systems.
Related Content
|
Shivansu Sachan.
© 2026.
32 pages.
|
|
Pradeep Yadav, Jyoti Kumari.
© 2026.
32 pages.
|
|
Ashish Gupta, Ergashev Nuriddin Gayratovich, Gafur Namazov, Buriboev Tolibjon Mirali Ugli, Olim Tursunov, Temur Khudayberganov, Anorgul Ashirova, Deepak Gupta.
© 2026.
34 pages.
|
|
Shrishail Math, H. D. Madhuri, Vijaykumar Yadhav, Mallanagouda Patil, P. Selvakumar.
© 2026.
40 pages.
|
|
P. Selvakumar, P. K. Ranjitha, C. Tamilarasi, Praveen Hedau, T. C. Manjunath, Ansuman Samal.
© 2026.
38 pages.
|
|
P. TamilSelvi, S. Keziah, K. G. Sarah Princes, Chola Vendhan.
© 2026.
46 pages.
|
|
Houda Daoud, Rim Bensalah, Ines Chaaben.
© 2026.
44 pages.
|
|
|