{'fraction_non_alphanumeric': 0.022222222222222223, 'fraction_numerical': 0.014336917562724014, 'mean_word_length': 5.149779735682819, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
A Novel Method for Formally Detecting RFID Event Using Petri Nets

Radio Frequency Identification (RFID) provides fast collection of large volume of data and can be used to identify physical objects with unique IDs. In order to provide semantically meaningful data to different applications, RFID data need to be processed to discover user-defined complex events. We propose a Petri net-based method for the detection of complex events in RFID. A model named ED-net is introduced to specify semantics of complex events, which is also taken as the basis for the implementation of an event detector. Formal model ED-net is an extension of ordinary Petri net, providing userdefined types, functions and expressions, which are suitable for the precise description of attributes and constraints of RFID complex events, with non-temporal, temporal and parameterized constraints. Through modeling all the events to be detected in one ED-net model, we avoid multiple detections of common subevents of different complex events. Through the experimental evaluation, we verify the efficiency of our detection method. This paper is sponsored by the National Natural Science Foundation of China under Grant No. 60803014 & the National Research Foundation for Doctoral Program of Higher Education of China under Grant No.200800011017. Yu Huang is corresponding author. KeywordsRFID; Petri Net; Event Detecting