Simulation of IT Service Processes with Petri-Nets

  • Christian Bartsch
  • Marco Mevius
  • Andreas Oberweis
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5472)


Due to a steadily increasing market for IT services, providers need to set apart from their competitors in order to successfully assert with their service offerings in the market. As a result the improvement of the quality of service process provisioning is becoming a major aspect. In this paper we propose a Petri-net based approach in order to model and simulate service processes in terms of availability levels. Supported by a tool service providers can perform a priori estimations during design time on the potential impact and interaction of availabilities of services involved in provisioning processes. We additionally show how obtained results can be taken into account for negotiating availability levels in Service Level Agreements (SLA).


IT Service Process Availability Pattern Petri-Net Process Modeling Process Simulation 


  1. 1.
    Bartsch, C., Shwartz, L., Ward, C., Grabarnik, G., Buco, M.J.: Decomposition of IT service processes and identification of alternatives using ontogoly. In: IEEE/IFIP Network Operations and Management Symposium (NOMS), pp. 714–717. IEEE Computer Society Press, Los Alamitos (2008)Google Scholar
  2. 2.
    Böhmann, T., Junginger, M., Krcmar, H.: Modular Service Architectures - A Concept and Method for Engineering IT Services. In: Proceedings of the 36th Annual Hawaii International Conference on System Sciences, pp. 74–83. IEEE Computer Society Press, Los Alamitos (2003)Google Scholar
  3. 3.
    Reisig, W.: Towards a Theory of services. In: Kaschek, R., et al. (eds.) UNISCON 2008. LNBIP, vol. 5, pp. 271–281. Springer, Heidelberg (1974)Google Scholar
  4. 4.
    van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.): Business Process Management. LNCS, vol. 1806. Springer, Heidelberg (2000)Google Scholar
  5. 5.
    van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M.: Business Process Management: A Survey. In: van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M. (eds.) BPM 2003. LNCS, vol. 2678, pp. 1–12. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  6. 6.
    Desel, J., Erwin, T.: Modeling, Simulation and Analysis of Business Processes. In: van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol. 1806, pp. 129–141. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  7. 7.
    Karagiannis, D., Juninger, S., Strobl, R.: Introduction to Business Process Management Systems Concepts. In: Scholz-Rieter, S. (ed.) Business Process modeling, pp. 81–106 (1996)Google Scholar
  8. 8.
    Scheer, A.-W.: ARIS – Business Process Modeling, 3rd edn. Springer, Berlin (2007)Google Scholar
  9. 9.
    Reisig, W.: Place/Transition Systems. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) APN 1986. LNCS, vol. 254, pp. 117–141. Springer, Heidelberg (1987)Google Scholar
  10. 10.
    Reisig, W., Rozenberg, G. (eds.): Lectures on Petri Nets I: Basic Models. LNCS, vol. 1491. Springer, Heidelberg (1998)zbMATHGoogle Scholar
  11. 11.
    van der Aalst, W.M.P.: Formalization and Verification of Event-driven Process Chains. Information and Software Technology 41(10), 639–650 (1999)CrossRefGoogle Scholar
  12. 12.
    Genrich, H.J.: Predicate/Transition Nets. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) Petri Nets: Central Models and Their Properties, Advances in Petri Nets, pp. 207–247. Springer, Heidelberg (1986)Google Scholar
  13. 13.
    Jensen, K.: Coloured Petri Nets. In: EATCS Monographs on Theoretical Computer Science. Basic Concepts, vol. 1. Springer, Berlin (1992)Google Scholar
  14. 14.
    Oberweis, A.: An integrated approach for the specification of processes and related complex structured objects in business applications. Decision Support Systems 17(1), 31–53 (1996)CrossRefGoogle Scholar
  15. 15.
    Bray, T., Paoli, J., Sperberg-McQueen, C.M., Maler, E., Yergeau, F., Cowan, J.: Extensible Markup Language (XML) 1.1 (Second Edition). W3C Recommendation 16, edited in place 29, World Wide Web Committee (W3C) (August 2006)Google Scholar
  16. 16.
    Lenz, K., Oberweis, A.: Inter-organizational Business Process Management with XML Nets. In: Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds.) Petri Net Technology for Communication-Based Systems. LNCS, vol. 2472, pp. 243–263. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  17. 17.
    Sturm, R., Morris, W., Jander, M.: Foundations of Service Level Management. Sams (2000)Google Scholar
  18. 18.
    Blokdijk, G.: Service Level Agreement 100 Success Secrets. Lightning Source UK Ltd. (2008)Google Scholar
  19. 19.
    Johnston, R., Clark, G.: Service Operations Management – Improving Service Delivery. Pearson Education Limited, Essex (2005)Google Scholar
  20. 20.
    Bruton, N.: Managing the IT services process. Butterworth-Heinemann, Burlington (2004)Google Scholar
  21. 21.
    Ludwig, H.: Web Services QoS: External SLAs and Internal Policies – Or: How do we deliver what we promise? In: Proceedings of the 4th IEEE International Conference on Web Information Systems Engineering Workshops, pp. 115–120. IEEE CS Press, Los Alamitos (2003)Google Scholar
  22. 22.
    Hudert, S., Ludwig, H., Wirtz, G.: Negotiating SLAs - An approach for a generic negotiation framework for WS-Agreement. In: Proceedings of the 20th International Conference on Software Engineering & Knowledge Engineering (SEKE 2008), pp. 587–592 (2008)Google Scholar
  23. 23.
    Wohlstadter, E., Tai, S., Mikalsen, T., Rouvellou, I., Devanbu, P.: GlueQoS: Middleware to Sweeten Quality-of-Service Policy Interactions. In: Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), pp. 189–199. IEEE Computer Society, Los Alamitos (2004)CrossRefGoogle Scholar
  24. 24.
    Song, M., Chang, R., Song, R., Song, J.: Research on the SLA-based Service Management in Mobile Communication Network. In: Canadian Conference on Electrical and Computer Engineering (CCECE 2004), vol. 2, pp. 1017–1020 (2004)Google Scholar
  25. 25.
    Anders, T.: Development of a generic IT service catalog as pre-arrangement for Service Level Agreements. In: 10th IEEE Conference on Emerging Technologies and Factory Automation (ETFA 2005), vol. 2, pp. 567–573 (2005)Google Scholar
  26. 26.
    Wen-Li, D., Hang, Y., Yu-Bing, Z.: Testing BPEL-based Web Service Composition Using High-level Petri Nets. In: Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006), pp. 441–444 (2006)Google Scholar
  27. 27.
    Karhunen, H., Eerola, A., Jantti, M.: Improving Service Management in Supply Chains. In: Proceedings of the International Conference on Service Systems and Service Management, vol. 2, pp. 1415–1420 (2006)Google Scholar
  28. 28.
    Mochel, T., Oberweis, A., Sänger, V.: INCOME/STAR: The Petri net simulation concepts. Systems Analysis – Modeling – Simulation. Journal of Modeling and Simulation in Systems Analysis 13(1-2), 21–36 (1993)Google Scholar
  29. 29.
    Addy, R.: Effective IT Service Management. Springer, Heidelberg (2007)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Christian Bartsch
    • 1
  • Marco Mevius
    • 1
  • Andreas Oberweis
    • 2
  1. 1.FZI Research Center for Information TechnologySoftware EngineeringKarlsruheGermany
  2. 2.Institute AIFBUniversität Karlsruhe (TH)KarlsruheGermany

Personalised recommendations