Petri Nets Context Modeling for the Pervasive Human-Computer Interfaces

A formal approach for modeling context-aware Human–Computer System

“…At a given time, the status of the three models describing the context will determine its current global state Ci. In order to identify its proper task Tj, it will have to browse through Ctx_Tsk_DB [24]. Once the current context is detected, the couple (Ti, Cj) is transmitted to the adaptation engine.…”