Towards Net-based Formal Methods for Complex Event Processing
暂无分享,去创建一个
[1] Elke A. Rundensteiner,et al. Scalable Pattern Sharing on Event Streams* , 2016, SIGMOD Conference.
[2] Kurt Rothermel,et al. SPECTRE: supporting consumption policies in window-based parallel complex event processing , 2017, Middleware.
[3] Elke A. Rundensteiner,et al. Sequence Pattern Query Processing over Out-of-Order Event Streams , 2009, 2009 IEEE 25th International Conference on Data Engineering.
[4] Wolfgang Reisig,et al. Understanding Petri nets , 1995, IEEE Parallel & Distributed Technology: Systems & Applications.
[5] Karsten Wolf,et al. Petri Net Model Checking with LoLA 2 , 2018, Petri Nets.
[6] Mathias Weske,et al. Optimizing Event Pattern Matching Using Business Process Models , 2014, IEEE Transactions on Knowledge and Data Engineering.
[7] Neil Immerman,et al. On complexity and optimization of expensive queries in complex event processing , 2014, SIGMOD Conference.
[8] Alessandro Margara,et al. Processing flows of information: From data stream to complex event processing , 2012, CSUR.