Complex Event Processing Modeling by Prioritized Colored Petri Nets

TitleComplex Event Processing Modeling by Prioritized Colored Petri Nets
Publication TypeJournal Article
Year of Publication2016
AuthorsMacià, H, Valero, V, Díaz, G, Boubeta-Puig, J, Ortiz, G
JournalIEEE Access
KeywordsAnalytical models, Big data, CEP, cep technology, CEP-based system modeling, code generation, complex event processing modeling, CPNTools, data mining, data volumes, EPL, Event detection, event patterns, event processing language, event types, Formal modeling, graph colouring, graphical formalism, model-driven tools, PCPN model, petri nets, prioritized colored Petri net model, prioritized colored Petri nets, program compilers, semantic validation, semantics, services for big data

Complex event processing (CEP) is a technology that allows us to process and correlate large volumes of data by using event patterns, aiming at promptly detecting specific situations that could require special treatment. The event types and event patterns for a particular application domain are implemented by using an event processing language (EPL). Although some current model-driven tools allow end users to easily define these patterns, which are then transformed automatically into a particular EPL, the generated code is syntactically but not semantically validated. To deal with this problem, a prioritized colored Petri net (PCPN) model for CEP is proposed and conducted in this paper. This well-known graphical formalism together with CPNTools makes possible the modeling, simulation, analysis, and semantic validation of complex event-based systems. To illustrate this approach, a case study is presented, as well as a discussion on the benefits from using PCPN for modeling CEP-based systems.