随着现代计算技术和传感网络的飞速发展,以无线射频识别技术为核心的软件系统已成为当前国际上研究的热点和前沿领域。RFID复杂事件处理的基础理论模型与分析验证技术是RFID 系统研究中最基础、最核心、最有挑战性的问题之一。本项目立足深入分析RFID 系统及其数据的本质属性,充分运用了离散时段逻辑描述方法和时间Petri网的建模方法,提出了复杂事件描述网模型C_net和ED_net,通过Petri网的理论分析方法分析了相关性质,如可检测性、活性等等,并给出了基于网的复杂事件检测思想及算法,提出了基于时间Petri网的RFID数据分析和挖掘方法,同时将复合事件理论应用在供应链中,提出了基于Petri网的供应链建模技术,实现了基于复合事件理论的RFID发现服务系统及RFID公共服务平台等原型,本项目的成果得到了推广应用,产生了一定经济价值。
英文主题词Petri net; Duration Calculus; RFID; Complex Event Description; Complex Event Detection