为发现情境感知服务之间存在的显性和隐性干扰，提出采用赋时着色Petri网（timed colored Petrinet，TCPN）对情境感知系统建模，通过对模型......