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

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

Volumn 7927 LNCS, Issue , 2013, Pages 270-290

  Weidlich, Matthias ^a   Mendling, Jan ^b   Gal, Avigdor ^a  

^a TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

^b VIENNA UNIVERSITY OF ECONOMICS AND BUSINESS   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION LOGIC; COLOURED PETRI NETS; DESIGN TIME; EVENT PROCESSING; FORMALISATION; LOOSELY COUPLED; PERFORMANCE AND SCALABILITIES;

SOFTWARE AGENTS;

PETRI NETS;

EID: 84879638717     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-38697-8_15     Document Type: Conference Paper

References (23)

1. Etzion, O., Niblett, P.: Event Processing in Action. Manning Publications (2010)
2. Voisard, A., Ziekow, H.: Architect: A layered framework for classifying technologies of event-based systems. Inf. Syst. 36(6), 937-957 (2011)
3. Gatziu, S., Dittrich, K.R.: Detecting composite events in active database systems using Petri nets. In: RIDE-ADS, pp. 2-9 (1994)
4. Adi, A., Etzion, O.: Amit - the situation manager. VLDB J. 13(2), 177-203 (2004)
5. Jensen, K., Kristensen, L.M.: Coloured Petri Nets - Modelling and Validation of Concurrent Systems. Springer (2009)
6. van der Aalst, W., Stahl, C.: Modeling Business Processes: A Petri Net-Oriented Approach. MIT Press (2011)
7. Vinter Ratzer, A., et al.: CPN Tools for editing, simulating, and analysing Coloured Petri Nets. In: [23], pp. 450-462
8. 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) (Pubitemid 44849983)
9. Mulyar, N., van der Aalst, W.: Patterns in Colored Petri Nets. BETA Working Paper Series WP 139. Eindhoven University of Technology (2005)
10. 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)
11. Hinze, A., Voisard, A.: EVA: An event algebra supporting adaptivity and collaboration in event-based systems. ICSI Technical Report TR-09-006 (2009)
12. 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) (Pubitemid 47281504)
13. Ferber, J.: Multi-Agent Systems: An Introduction to Distributed Artificial Intelligence. Addison-Wesley (1999)
14. Kwon, O.B.: Modeling and generating context-aware agent-based applications with amended Colored Petri Nets. Expert Syst. Appl. 27(4), 609-621 (2004)
15. 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)
16. 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) (Pubitemid 127088937)
17. Köhler, M., Moldt, D.: Analysis of mobile agents using invariants of object nets. ECEASST 12 (2008)
18. 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)
19. Bartsch, C., Mevius, M., Oberweis, A.: Simulation of it service processes with Petrinets. In: Feuerlicht, G., Lamersdorf, W. (eds.) ICSOC 2008. LNCS, vol. 5472, pp. 53-65. Springer, Heidelberg (2009)
20. Gordon, S., Billington, J.: Analysing theWAP 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)
21. 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)
22. Eshuis, R., Dehnert, J.: Reactive Petri nets for workflow modeling. In: [23], pp. 296-315
23. van der Aalst, W.M.P., Best, E. (eds.): ICATPN 2003. LNCS, vol. 2679, pp. 337-356. Springer, Heidelberg (2003)