Multi-Agent Systems: An Introduction to Distributed Artificial Intelligence
Multi-Agent Systems: An Introduction to Distributed Artificial Intelligence
Multi-Agent-Systems Based on Coloured Petri Nets
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
The VLDB Journal — The International Journal on Very Large Data Bases
Seamless formal verification of complex event processing applications
Proceedings of the 2007 inaugural international conference on Distributed event-based systems
Simulation of IT Service Processes with Petri-Nets
Service-Oriented Computing --- ICSOC 2008 Workshops
Coloured Petri Nets: Modelling and Validation of Concurrent Systems
Coloured Petri Nets: Modelling and Validation of Concurrent Systems
Analysing the WAP class 2 wireless transaction protocol using coloured Petri nets
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
TESLA: a formally defined event specification language
Proceedings of the Fourth ACM International Conference on Distributed Event-Based Systems
Event Processing in Action
Modeling Business Processes: A Petri Net-Oriented Approach
Modeling Business Processes: A Petri Net-Oriented Approach
Modelling and analysing genetic networks: from boolean networks to petri nets
CMSB'06 Proceedings of the 2006 international conference on Computational Methods in Systems Biology
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
| Hi-index | 0.00 |
Event processing networks emerged as a paradigm to implement applications that interact with distributed, loosely coupled components. Such a network consists of event producers, event consumers, and event processing agents that implement the application logic. Event processing networks are typically intended to process an extensive amount of events. Hence, there is a need for performance and scalability evaluation at design time. In this paper, we take up the challenge of modelling event processing networks using coloured Petri nets. We outline how this type of system is modelled and illustrate the formalisation with the widely used showcase of the Fast Flower Delivery Application (FFDA). Further, we report on the validation of the obtained coloured Petri net with an implementation of the FFDA in the ETALIS framework. Finally, we show how the net of the FFDA is employed for analysis with CPN-Tools.