Analysing Petri Nets in a Calculus of Context-Aware Ambients.
François SieweVasileios GermanosWen ZengPublished in: COMPSAC (2020)
Keyphrases
- context aware
- petri net
- process algebra
- contextual information
- context awareness
- ubiquitous computing
- petri net model
- ambient intelligence
- discrete event systems
- mobile devices
- ubiquitous learning
- colored petri nets
- fuzzy petri net
- concurrent systems
- service composition
- current context
- stochastic petri net
- context aware ubiquitous learning
- context aware systems
- mobile computing
- smart home
- mobile users
- context aware computing
- programmable logic controller
- ubiquitous environment
- low cost