%0 Journal Article
%T 一种基于Petri网的RFID事件检测的形式化方法
%A 张世琨
%A 袁崇义
%A 黄  雨
%A 黄舒志
%A 孙基男
%J -
%D 2012
%X 无线射频识别(RFID)采用唯一的电子标签识别物理对象,可高..
%K [无线射频识别(RFID)
%K Petri网
%K 形式化方法
%K 事件检测
%K 复合事件
%K radio frequency identification (RFID)
%K Petri net
%K formal method
%K event detection
%K complex event]
%U http://crad.ict.ac.cn/CN/Y2012/V49/I11/2334