{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,2]],"date-time":"2026-01-02T07:26:59Z","timestamp":1767338819371,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642012464"},{"type":"electronic","value":"9783642012471"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-01247-1_6","type":"book-chapter","created":{"date-parts":[[2009,4,20]],"date-time":"2009-04-20T12:44:08Z","timestamp":1240231448000},"page":"53-65","source":"Crossref","is-referenced-by-count":4,"title":["Simulation of IT Service Processes with Petri-Nets"],"prefix":"10.1007","author":[{"given":"Christian","family":"Bartsch","sequence":"first","affiliation":[]},{"given":"Marco","family":"Mevius","sequence":"additional","affiliation":[]},{"given":"Andreas","family":"Oberweis","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"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\u2013717. IEEE Computer Society Press, Los Alamitos (2008)","DOI":"10.1109\/NOMS.2008.4575196"},{"key":"6_CR2","first-page":"74","volume-title":"Proceedings of the 36th Annual Hawaii International Conference on System Sciences","author":"T. B\u00f6hmann","year":"2003","unstructured":"B\u00f6hmann, 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\u201383. IEEE Computer Society Press, Los Alamitos (2003)"},{"key":"6_CR3","series-title":"LNBIP","first-page":"271","volume-title":"UNISCON 2008","author":"W. Reisig","year":"1974","unstructured":"Reisig, W.: Towards a Theory of services. In: Kaschek, R., et al. (eds.) UNISCON 2008. LNBIP, vol.\u00a05, pp. 271\u2013281. Springer, Heidelberg (1974)"},{"key":"6_CR4","series-title":"Lecture Notes in Computer Science","volume-title":"Business Process Management","year":"2000","unstructured":"van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.): Business Process Management. LNCS, vol.\u00a01806. Springer, Heidelberg (2000)"},{"key":"6_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-44895-0_1","volume-title":"Business Process Management","author":"W.M.P. Aalst van der","year":"2003","unstructured":"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.\u00a02678, pp. 1\u201312. Springer, Heidelberg (2003)"},{"key":"6_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/3-540-45594-9_9","volume-title":"Business Process Management","author":"J. Desel","year":"2000","unstructured":"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.\u00a01806, pp. 129\u2013141. Springer, Heidelberg (2000)"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Karagiannis, D., Juninger, S., Strobl, R.: Introduction to Business Process Management Systems Concepts. In: Scholz-Rieter, S. (ed.) Business Process modeling, pp. 81\u2013106 (1996)","DOI":"10.1007\/978-3-642-80317-8_5"},{"key":"6_CR8","volume-title":"ARIS \u2013 Business Process Modeling","author":"A.-W. Scheer","year":"2007","unstructured":"Scheer, A.-W.: ARIS \u2013 Business Process Modeling, 3rd edn. Springer, Berlin (2007)","edition":"3"},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/978-3-540-47919-2_6","volume-title":"Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986","author":"W. Reisig","year":"1987","unstructured":"Reisig, W.: Place\/Transition Systems. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) APN 1986. LNCS, vol.\u00a0254, pp. 117\u2013141. Springer, Heidelberg (1987)"},{"key":"6_CR10","series-title":"Lecture Notes in Computer Science","volume-title":"Lectures on Petri Nets I: Basic Models","year":"1998","unstructured":"Reisig, W., Rozenberg, G. (eds.): Lectures on Petri Nets I: Basic Models. LNCS, vol.\u00a01491. Springer, Heidelberg (1998)"},{"issue":"10","key":"6_CR11","doi-asserted-by":"publisher","first-page":"639","DOI":"10.1016\/S0950-5849(99)00016-6","volume":"41","author":"W.M.P. Aalst van der","year":"1999","unstructured":"van der Aalst, W.M.P.: Formalization and Verification of Event-driven Process Chains. Information and Software Technology\u00a041(10), 639\u2013650 (1999)","journal-title":"Information and Software Technology"},{"key":"6_CR12","first-page":"207","volume-title":"Petri Nets: Central Models and Their Properties, Advances in Petri Nets","author":"H.J. Genrich","year":"1986","unstructured":"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\u2013247. Springer, Heidelberg (1986)"},{"key":"6_CR13","series-title":"Basic Concepts","volume-title":"EATCS Monographs on Theoretical Computer Science","author":"K. Jensen","year":"1992","unstructured":"Jensen, K.: Coloured Petri Nets. In: EATCS Monographs on Theoretical Computer Science. Basic Concepts, vol.\u00a01. Springer, Berlin (1992)"},{"issue":"1","key":"6_CR14","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/0167-9236(95)00021-6","volume":"17","author":"A. Oberweis","year":"1996","unstructured":"Oberweis, A.: An integrated approach for the specification of processes and related complex structured objects in business applications. Decision Support Systems\u00a017(1), 31\u201353 (1996)","journal-title":"Decision Support Systems"},{"key":"6_CR15","unstructured":"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)"},{"key":"6_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/978-3-540-40022-6_12","volume-title":"Petri Net Technology for Communication-Based Systems","author":"K. Lenz","year":"2003","unstructured":"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.\u00a02472, pp. 243\u2013263. Springer, Heidelberg (2003)"},{"key":"6_CR17","unstructured":"Sturm, R., Morris, W., Jander, M.: Foundations of Service Level Management. Sams (2000)"},{"key":"6_CR18","unstructured":"Blokdijk, G.: Service Level Agreement 100 Success Secrets. Lightning Source UK Ltd. (2008)"},{"key":"6_CR19","volume-title":"Service Operations Management \u2013 Improving Service Delivery","author":"R. Johnston","year":"2005","unstructured":"Johnston, R., Clark, G.: Service Operations Management \u2013 Improving Service Delivery. Pearson Education Limited, Essex (2005)"},{"key":"6_CR20","unstructured":"Bruton, N.: Managing the IT services process. Butterworth-Heinemann, Burlington (2004)"},{"key":"6_CR21","first-page":"115","volume-title":"Proceedings of the 4th IEEE International Conference on Web Information Systems Engineering Workshops","author":"H. Ludwig","year":"2003","unstructured":"Ludwig, H.: Web Services QoS: External SLAs and Internal Policies \u2013 Or: How do we deliver what we promise? In: Proceedings of the 4th IEEE International Conference on Web Information Systems Engineering Workshops, pp. 115\u2013120. IEEE CS Press, Los Alamitos (2003)"},{"key":"6_CR22","unstructured":"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\u2013592 (2008)"},{"key":"6_CR23","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1109\/ICSE.2004.1317441","volume-title":"Proceedings of the 26th International Conference on Software Engineering (ICSE 2004)","author":"E. Wohlstadter","year":"2004","unstructured":"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\u2013199. IEEE Computer Society, Los Alamitos (2004)"},{"key":"6_CR24","doi-asserted-by":"crossref","unstructured":"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.\u00a02, pp. 1017\u20131020 (2004)","DOI":"10.1109\/CCECE.2004.1345289"},{"key":"6_CR25","doi-asserted-by":"crossref","unstructured":"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.\u00a02, pp. 567\u2013573 (2005)","DOI":"10.1109\/ETFA.2005.1612726"},{"key":"6_CR26","doi-asserted-by":"crossref","unstructured":"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\u2013444 (2006)","DOI":"10.1109\/EDOC.2006.59"},{"key":"6_CR27","doi-asserted-by":"crossref","unstructured":"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.\u00a02, pp. 1415\u20131420 (2006)","DOI":"10.1109\/ICSSSM.2006.320719"},{"issue":"1-2","key":"6_CR28","first-page":"21","volume":"13","author":"T. Mochel","year":"1993","unstructured":"Mochel, T., Oberweis, A., S\u00e4nger, V.: INCOME\/STAR: The Petri net simulation concepts. Systems Analysis \u2013 Modeling \u2013 Simulation. Journal of Modeling and Simulation in Systems Analysis\u00a013(1-2), 21\u201336 (1993)","journal-title":"Journal of Modeling and Simulation in Systems Analysis"},{"key":"6_CR29","volume-title":"Effective IT Service Management","author":"R. Addy","year":"2007","unstructured":"Addy, R.: Effective IT Service Management. Springer, Heidelberg (2007)"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing \u2013 ICSOC 2008 Workshops"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-01247-1_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,9]],"date-time":"2025-02-09T02:51:32Z","timestamp":1739069492000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01247-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642012464","9783642012471"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01247-1_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}