earticle

영어

The internet of vehicles is an important internet of things. It is an urgent problem that how to real-time processes these spatial and temporal data of the internet of vehicles. The complex event processing technology can filter the concerned data to the event by the complex event query language (EQL) and the system can responds effectively. The STeCEQL is a complex event language for the internet of vehicles, which constraint with spatial and temporal. The processing model of the complex event language is a core issue of the complex event processing technology. In this paper, we established a Petri Net processing model of STeCEQL. We give all kind of processing model of STeCEQL expressions. And these processing models are synthesized by two types of basic Petri Net model: the sequence structure and the logic and structure. Finally, we proved the Petri Net processing model of STeCEQL is structural boundedness and structural conservativeness, but it is not structural repetitiveness.