{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,17]],"date-time":"2026-06-17T16:38:59Z","timestamp":1781714339609,"version":"3.54.5"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540857570","type":"print"},{"value":"9783540857587","type":"electronic"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-85758-7_16","type":"book-chapter","created":{"date-parts":[[2008,10,3]],"date-time":"2008-10-03T13:54:09Z","timestamp":1223042049000},"page":"196-211","source":"Crossref","is-referenced-by-count":40,"title":["Workflow Simulation for Operational Decision Support Using Design, Historic and State Information"],"prefix":"10.1007","author":[{"given":"Anne","family":"Rozinat","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Moe","family":"Wynn","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Wil","family":"van der Aalst","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Arthur","family":"ter Hofstede","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Colin","family":"Fidge","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"16_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"484","DOI":"10.1007\/978-3-540-73094-1_28","volume-title":"Petri Nets and Other Models of Concurrency \u2013 ICATPN 2007","author":"W.M.P. Aalst van der","year":"2007","unstructured":"van der Aalst, W.M.P., van Dongen, B.F., G\u00fcnther, C.W., Mans, R.S., Alves de Medeiros, A.K., Rozinat, A., Rubin, V., Song, M., Verbeek, H.M.W., Weijters, A.J.M.M.: ProM 4.0: Comprehensive Support for Real Process Analysis. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol.\u00a04546, pp. 484\u2013494. Springer, Heidelberg (2007)"},{"issue":"4","key":"16_CR2","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/j.is.2004.02.002","volume":"30","author":"W.M.P. Aalst van der","year":"2005","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M.: YAWL: Yet Another Workflow Language. Information Systems\u00a030(4), 245\u2013275 (2005)","journal-title":"Information Systems"},{"issue":"5","key":"16_CR3","doi-asserted-by":"publisher","first-page":"713","DOI":"10.1016\/j.is.2006.05.003","volume":"32","author":"W.M.P. Aalst van der","year":"2007","unstructured":"van der Aalst, W.M.P., Reijers, H.A., Weijters, A.J.M.M., van Dongen, B.F., Alves de Medeiros, A.K., Song, M., Verbeek, H.M.W.: Business Process Mining: An Industrial Application. Information Systems\u00a032(5), 713\u2013732 (2007)","journal-title":"Information Systems"},{"key":"16_CR4","unstructured":"Ardhaldjian, R., Fahner, M.: Using simulation in the business process reengineering effort. Industrial engineering, pp. 60\u201361 (July 1994)"},{"issue":"5","key":"16_CR5","doi-asserted-by":"publisher","first-page":"768","DOI":"10.1287\/mnsc.42.5.768","volume":"42","author":"J.A. Buzacott","year":"1996","unstructured":"Buzacott, J.A.: Commonalities in Reengineered Business Processes: Models and Issues. Management Science\u00a042(5), 768\u2013782 (1996)","journal-title":"Management Science"},{"key":"16_CR6","doi-asserted-by":"publisher","DOI":"10.1002\/0471741442","volume-title":"Process-Aware Information Systems: Bridging People and Software through Process Technology","author":"M. Dumas","year":"2005","unstructured":"Dumas, M., van der Aalst, W.M.P., ter Hofstede, A.H.M.: Process-Aware Information Systems: Bridging People and Software through Process Technology. Wiley & Sons, Chichester (2005)"},{"key":"16_CR7","unstructured":"Hall, C., Harmon, P.: A Detailed Analysis of Enterprise Architecture, Process Modeling, and Simulation Tools. Technical report 2.0, BPTrends (September 2006)"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Jansen-Vullers, M., Netjes, M.: Business process simulation \u2013 a tool survey. In: Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark (October 2006)","DOI":"10.7146\/dpb.v35i579.7322"},{"issue":"3-4","key":"16_CR9","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/s10009-007-0038-x","volume":"9","author":"K. Jensen","year":"2007","unstructured":"Jensen, K., Kristensen, L.M., Wells, L.: Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems. International Journal on Software Tools for Technology Transfer\u00a09(3-4), 213\u2013254 (2007)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"16_CR10","volume-title":"Simulation with Arena","author":"D.W. Kelton","year":"2003","unstructured":"Kelton, D.W., Sadowski, R., Sturrock, D.: Simulation with Arena. McGraw-Hill, New York (2003)"},{"key":"16_CR11","volume-title":"Simulation: a statistical perspective","author":"J. Kleijnen","year":"1992","unstructured":"Kleijnen, J., van Groenendaal, W.: Simulation: a statistical perspective. John Wiley and Sons, New York (1992)"},{"key":"16_CR12","volume-title":"Business Process Modeling, Simulation, and Design","author":"M. Laugna","year":"2005","unstructured":"Laugna, M., Marklund, J.: Business Process Modeling, Simulation, and Design. Prentice Hall, Upper Saddle River, New Jersey (2005)"},{"key":"16_CR13","volume-title":"Production Workflow: Concepts and Techniques","author":"F. Leymann","year":"1999","unstructured":"Leymann, F., Roller, D.: Production Workflow: Concepts and Techniques. Prentice-Hall PTR, Upper Saddle River (1999)"},{"key":"16_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-36615-6","volume-title":"Design and Control of Workflow Processes: Business Process Management for the Service Industry","author":"H. Reijers","year":"2003","unstructured":"Reijers, H.: Design and Control of Workflow Processes. LNCS, vol.\u00a02617. Springer, Berlin (2003)"},{"key":"16_CR15","first-page":"417","volume-title":"Proceedings of the IASTED International Conference on Modelling and Simulation","author":"H.A. Reijers","year":"1999","unstructured":"Reijers, H.A., van der Aalst, W.M.P.: Short-Term Simulation: Bridging the Gap between Operational Control and Strategic Decision Making. In: Hamza, M.H. (ed.) Proceedings of the IASTED International Conference on Modelling and Simulation, pp. 417\u2013421. IASTED\/Acta Press, Anaheim (1999)"},{"key":"16_CR16","volume-title":"A course in simulation","author":"S.M. Ross","year":"1990","unstructured":"Ross, S.M.: A course in simulation. Macmillan, New York (1990)"},{"issue":"1","key":"16_CR17","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/s10009-007-0051-0","volume":"10","author":"A. Rozinat","year":"2008","unstructured":"Rozinat, A., Mans, R.S., Song, M., van der Aalst, W.M.P.: Discovering Colored Petri Nets From Event Logs. International Journal on Software Tools for Technology Transfer\u00a010(1), 57\u201374 (2008)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"16_CR18","doi-asserted-by":"crossref","unstructured":"Rozinat, A., Wynn, M., van der Aalst, W.M.P., ter Hofstede, A.H.M., Fidge, C.: Workflow Simulation for Operational Decision Support using YAWL and ProM. BPM Center Report BPM-08-04, BPMcenter.org (2008)","DOI":"10.1007\/978-3-540-85758-7_16"},{"key":"16_CR19","volume-title":"Business Process Management: Concepts, Languages, Architectures","author":"M. Weske","year":"2007","unstructured":"Weske, M.: Business Process Management: Concepts, Languages, Architectures. Springer, Heidelberg (2007)"},{"key":"16_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1007\/978-3-540-78238-4_8","volume-title":"BPM 2007 Workshops","author":"M.T. Wynn","year":"2008","unstructured":"Wynn, M.T., Dumas, M., Fidge, C.J., ter Hofstede, A.H.M., van der Aalst, W.M.P.: Business Process Simulation for Operational Decision Support. In: ter Hofstede, A.H.M., Benatallah, B., Paik, H.-Y. (eds.) BPM 2007. LNCS, vol.\u00a04928, pp. 66\u201377. Springer, Heidelberg (2008)"}],"container-title":["Lecture Notes in Computer Science","Business Process Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85758-7_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T11:50:07Z","timestamp":1557834607000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-85758-7_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540857570","9783540857587"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85758-7_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008]]}}}