{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:20:04Z","timestamp":1775053204965,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642003271","type":"print"},{"value":"9783642003288","type":"electronic"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-00328-8_22","type":"book-chapter","created":{"date-parts":[[2009,6,6]],"date-time":"2009-06-06T05:17:14Z","timestamp":1244265434000},"page":"224-235","source":"Crossref","is-referenced-by-count":3,"title":["On the Formal Generation of Process Redesigns"],"prefix":"10.1007","author":[{"given":"Mariska","family":"Netjes","sequence":"first","affiliation":[]},{"given":"Hajo A.","family":"Reijers","sequence":"additional","affiliation":[]},{"given":"Wil M. P.","family":"van der Aalst","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"22_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/3-540-63139-9_48","volume-title":"Application and Theory of Petri Nets 1997","author":"W.M.P. Aalst van der","year":"1997","unstructured":"van der Aalst, W.M.P.: Verification of Workflow Nets. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol.\u00a01248, pp. 407\u2013426. Springer, Heidelberg (1997)"},{"key":"22_CR2","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., Gunther, 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":"3","key":"22_CR3","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1016\/j.infsof.2006.11.004","volume":"50","author":"W.M.P. Aalst van der","year":"2008","unstructured":"van der Aalst, W.M.P., Bisgaard Lassen, K.: Translating Unstructured Workflow Processes to Readable BPEL: Theory and Implementation. Information and Software Technology\u00a050(3), 131\u2013159 (2008)","journal-title":"Information and Software Technology"},{"issue":"1","key":"22_CR4","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(1), 713\u2013732 (2007)","journal-title":"Information Systems"},{"issue":"1","key":"22_CR5","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1108\/14637159910249108","volume":"5","author":"M. Al-Mashari","year":"1999","unstructured":"Al-Mashari, M., Zairi, M.: BPR implementation process: An analysis of key success and failure factors. Business Process Management Journal\u00a05(1), 87\u2013112 (1999)","journal-title":"Business Process Management Journal"},{"key":"22_CR6","series-title":"Cambridge Tracts in Theoretical Computer Science","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511526558","volume-title":"Free Choice Petri Nets","author":"J. Desel","year":"1995","unstructured":"Desel, J., Esparza, J.: Free Choice Petri Nets. Cambridge Tracts in Theoretical Computer Science, vol.\u00a040. Cambridge University Press, Cambridge (1995)"},{"issue":"1","key":"22_CR7","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1080\/07421222.1995.11518072","volume":"12","author":"V. Grover","year":"1995","unstructured":"Grover, V., Jeong, S., Kettinger, W., Teng, J.: The implementation of Business Process Reengineering. Journal of Management Information Systems\u00a012(1), 109\u2013144 (1995)","journal-title":"Journal of Management Information Systems"},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"Hammer, M., Champy, J.: Reengineering the corporation: a manifesto for business revolution. Harper Business Editions, New York (1993)","DOI":"10.1016\/S0007-6813(05)80064-3"},{"issue":"1","key":"22_CR9","doi-asserted-by":"publisher","first-page":"55","DOI":"10.2307\/249742","volume":"21","author":"W. Kettinger","year":"1997","unstructured":"Kettinger, W., Teng, J., Guha, J.: Business process change: A study of methodologies, techniques, and tools. MIS Quarterly\u00a021(1), 55\u201380 (1997)","journal-title":"MIS Quarterly"},{"key":"22_CR10","first-page":"484","volume-title":"Proceedings of the 9th International Conference on Enterprise Information Systems (ICEIS 2007)","author":"M. Netjes","year":"2007","unstructured":"Netjes, M., Limam Mansar, S., Reijers, H.A., van der Aalst, W.M.P.: An Evolutionary Approach for Business Process Redesign: Towards an Intelligent System. In: Cardoso, J., Cordeiro, J., Filipe, J. (eds.) Proceedings of the 9th International Conference on Enterprise Information Systems (ICEIS 2007), pp. 484\u2013494. INSTICC, Setubal (2007)"},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"Netjes, M., Reijers, H.A., van der Aalst, W.M.P.: The Creation of Process Redesigns by Selecting, Transforming and Replacing Process Parts. BETA Working Paper Series, WP 240, Eindhoven University of Technology, Eindhoven (2008)","DOI":"10.1007\/978-3-642-00328-8_22"},{"key":"22_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"444","DOI":"10.1007\/11678564_41","volume-title":"Business Process Management Workshops","author":"M. Netjes","year":"2006","unstructured":"Netjes, M., Vanderfeesten, I., Reijers, H.A.: \u201cIntelligent\u201d Tools for Workflow Process Redesign: A Research Agenda. In: Bussler, C.J., Haller, A. (eds.) BPM 2005. LNCS, vol.\u00a03812, pp. 444\u2013453. Springer, Heidelberg (2006)"},{"issue":"4","key":"22_CR13","doi-asserted-by":"publisher","first-page":"509","DOI":"10.2307\/249553","volume":"22","author":"M. Nissen","year":"1998","unstructured":"Nissen, M.: Redesigning Reengineering through Measurement-Driven Inference. MIS Quarterly\u00a022(4), 509\u2013534 (1998)","journal-title":"MIS Quarterly"},{"key":"22_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.A. Reijers","year":"2003","unstructured":"Reijers, H.A.: Design and Control of Workflow Processes: Business Process Management for the Service Industry. LNCS, vol.\u00a02617. Springer, Heidelberg (2003)"},{"issue":"4","key":"22_CR15","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1016\/j.omega.2004.04.012","volume":"33","author":"H.A. Reijers","year":"2005","unstructured":"Reijers, H.A., Limam Mansar, S.: Best Practices in Business Process Redesign: An Overview and Qualitative Evaluation of Successful Redesign Heuristics. Omega: The International Journal of Management Science\u00a033(4), 283\u2013306 (2005)","journal-title":"Omega: The International Journal of Management Science"},{"issue":"4","key":"22_CR16","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1287\/isre.1060.0105","volume":"17","author":"S.X. Sun","year":"2006","unstructured":"Sun, S.X., Leon Zhao, J., Nunamaker, J.F., Liu Sheng, O.R.: Formulating the Data-Flow Perspective for Business Process Management. Information Systems Research\u00a017(4), 374\u2013391 (2006)","journal-title":"Information Systems Research"},{"key":"22_CR17","unstructured":"Weber, B., Rinderle-Ma, S.B., Reichert, M.U.: Change Support in Process-Aware Information Systems - A Pattern-Based Analysis. Technical Report TR-CTIT-07-76, ISSN 1381-3625 (2007), \n                    \n                      http:\/\/eprints.eemcs.utwente.nl\/11331"}],"container-title":["Lecture Notes in Business Information Processing","Business Process Management Workshops"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00328-8_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T18:44:20Z","timestamp":1558377860000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00328-8_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642003271","9783642003288"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00328-8_22","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"value":"1865-1348","type":"print"},{"value":"1865-1356","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}