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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Etzion, O., Niblett, P.: Event Processing in Action. Manning Publications (2010)
Voisard, A., Ziekow, H.: Architect: A layered framework for classifying technologies of event-based systems. Inf. Syst. 36(6), 937–957 (2011)
Gatziu, S., Dittrich, K.R.: Detecting composite events in active database systems using Petri nets. In: RIDE-ADS, pp. 2–9 (1994)
Adi, A., Etzion, O.: Amit - the situation manager. VLDB J. 13(2), 177–203 (2004)
Jensen, K., Kristensen, L.M.: Coloured Petri Nets - Modelling and Validation of Concurrent Systems. Springer (2009)
van der Aalst, W., Stahl, C.: Modeling Business Processes: A Petri Net-Oriented Approach. MIT Press (2011)
Vinter Ratzer, A., et al.: CPN Tools for editing, simulating, and analysing Coloured Petri Nets. In: [23], pp. 450–462
Steggles, L.J., Banks, R., Wipat, A.: Modelling and analysing genetic networks: From boolean networks to Petri nets. In: Priami, C. (ed.) CMSB 2006. LNCS (LNBI), vol. 4210, pp. 127–141. Springer, Heidelberg (2006)
Mulyar, N., van der Aalst, W.: Patterns in Colored Petri Nets. BETA Working Paper Series WP 139. Eindhoven University of Technology (2005)
Cugola, G., Margara, A.: Tesla: a formally defined event specification language. In: Bacon, J., Pietzuch, P.R., Sventek, J., Çetintemel, U. (eds.) DEBS, pp. 50–61. ACM (2010)
Hinze, A., Voisard, A.: EVA: An event algebra supporting adaptivity and collaboration in event-based systems. ICSI Technical Report TR-09-006 (2009)
Ericsson, A., Pettersson, P., Berndtsson, M., Seiriö, M.: Seamless formal verification of complex event processing applications. In: Jacobsen, H.A., Mühl, G., Jaeger, M.A. (eds.) DEBS, pp. 50–61. ACM (2007)
Ferber, J.: Multi-Agent Systems: An Introduction to Distributed Artificial Intelligence. Addison-Wesley (1999)
Kwon, O.B.: Modeling and generating context-aware agent-based applications with amended Colored Petri Nets. Expert Syst. Appl. 27(4), 609–621 (2004)
Marzougui, B., Hassine, K., Barkaoui, K.: A new formalism for modeling a multi agent systems: Agent Petri nets. J. of Softw. Eng. and Appl. 3(12), 1118–1124 (2010)
Moldt, D., Wienberg, F.: Multi-agent-systems based on Coloured Petri Nets. In: Azéma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 82–101. Springer, Heidelberg (1997)
Köhler, M., Moldt, D.: Analysis of mobile agents using invariants of object nets. ECEASST 12 (2008)
Weyns, D., Holvoet, T.: A colored Petri net for a multi-agent application. In: Proceedings of Modeling Objects, Components and Agents (MOCA 2002), Aarhus, Denmark, pp. 121–140 (2002)
Bartsch, C., Mevius, M., Oberweis, A.: Simulation of it service processes with Petri-nets. In: Feuerlicht, G., Lamersdorf, W. (eds.) ICSOC 2008. LNCS, vol. 5472, pp. 53–65. Springer, Heidelberg (2009)
Gordon, S., Billington, J.: Analysing the WAP Class 2 wireless transaction protocol using coloured Petri nets. In: Nielsen, M., Simpson, D. (eds.) ICATPN 2000. LNCS, vol. 1825, pp. 207–226. Springer, Heidelberg (2000)
Junior, M.N.O., Neto, S., Maciel, P., Lima, R., Ribeiro, A., Barreto, R., Tavares, E., Braga, F.: Analyzing software performance and energy consumption of embedded systems by probabilistic modeling: An approach based on Coloured Petri Nets. In: Donatelli, S., Thiagarajan, P.S. (eds.) ICATPN 2006. LNCS, vol. 4024, pp. 261–281. Springer, Heidelberg (2006)
Eshuis, R., Dehnert, J.: Reactive Petri nets for workflow modeling. In: [23], pp. 296–315
van der Aalst, W.M.P., Best, E. (eds.): ICATPN 2003. LNCS, vol. 2679, pp. 337–356. Springer, Heidelberg (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Weidlich, M., Mendling, J., Gal, A. (2013). Net-Based Analysis of Event Processing Networks – The Fast Flower Delivery Case. In: Colom, JM., Desel, J. (eds) Application and Theory of Petri Nets and Concurrency. PETRI NETS 2013. Lecture Notes in Computer Science, vol 7927. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-38697-8_15
Download citation
DOI: https://doi.org/10.1007/978-3-642-38697-8_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-38696-1
Online ISBN: 978-3-642-38697-8
eBook Packages: Computer ScienceComputer Science (R0)