A formal approach for modeling context-aware Human–Computer System
Keywords: شبکه های پتری; Human–Computer System; Pervasive computing; Context-awareness; Context modeling; Petri nets; PNML