一种基于Petri网的RFID事件检测的形式化方法

Keywords: [无线射频识别(RFID), Petri网, 形式化方法, 事件检测, 复合事件, radio frequency identification (RFID), Petri net, formal method, event detection, complex event]

Full-Text   Cite this paper   Add to My Lib

Abstract:

无线射频识别(RFID)采用唯一的电子标签识别物理对象,可高..

Full-Text