Net-based analysis of event processing networks - The fast flower delivery case

Matthias Weidlich, Jan Mendling, Avigdor Gal

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

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.

Original languageEnglish
Title of host publicationApplication and Theory of Petri Nets and Concurrency - 34th International Conference, PETRI NETS 2013, Proceedings
Pages270-290
Number of pages21
DOIs
StatePublished - 2013
Event34th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2013 - Milan, Italy
Duration: 24 Jun 201328 Jun 2013

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume7927 LNCS

Conference

Conference34th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2013
Country/TerritoryItaly
CityMilan
Period24/06/1328/06/13

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • General Computer Science

Fingerprint

Dive into the research topics of 'Net-based analysis of event processing networks - The fast flower delivery case'. Together they form a unique fingerprint.

Cite this