{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T19:54:07Z","timestamp":1743018847866,"version":"3.40.3"},"publisher-location":"Cham","reference-count":48,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031614323"},{"type":"electronic","value":"9783031614330"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-61433-0_2","type":"book-chapter","created":{"date-parts":[[2024,6,12]],"date-time":"2024-06-12T16:02:01Z","timestamp":1718208121000},"page":"24-35","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["On the\u00a0Application of\u00a0Model-Driven Optimization to\u00a0Business Processes"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3975-5238","authenticated-orcid":false,"given":"Gabriele","family":"Taentzer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4733-2777","authenticated-orcid":false,"given":"Jens","family":"Kosiol","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6937-5167","authenticated-orcid":false,"given":"Leen","family":"Lambers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,6,13]]},"reference":[{"key":"2_CR1","doi-asserted-by":"publisher","unstructured":"Abdeen, H., et al.: Multi-objective optimization in rule-based design space exploration. In: Crnkovic, I., Chechik, M., Gr\u00fcnbacher, P. (eds.) ACM\/IEEE International Conference on Automated Software Engineering, ASE 2014, Vasteras, Sweden, 15\u201319 September 2014, pp. 289\u2013300. ACM (2014). https:\/\/doi.org\/10.1145\/2642937.2643005","DOI":"10.1145\/2642937.2643005"},{"issue":"14","key":"2_CR2","doi-asserted-by":"publisher","first-page":"883","DOI":"10.1016\/S0950-5849(01)00194-X","volume":"43","author":"AJ Bagnall","year":"2001","unstructured":"Bagnall, A.J., Rayward-Smith, V.J., Whittley, I.M.: The next release problem. Inf. Softw. Technol. 43(14), 883\u2013890 (2001). https:\/\/doi.org\/10.1016\/S0950-5849(01)00194-X","journal-title":"Inf. Softw. Technol."},{"issue":"2","key":"2_CR3","doi-asserted-by":"publisher","first-page":"1017","DOI":"10.1007\/s10270-017-0644-3","volume":"18","author":"R Bill","year":"2019","unstructured":"Bill, R., Fleck, M., Troya, J., Mayerhofer, T., Wimmer, M.: A local and global tour on MOMoT. Softw. Syst. Model. 18(2), 1017\u20131046 (2019). https:\/\/doi.org\/10.1007\/s10270-017-0644-3","journal-title":"Softw. Syst. Model."},{"key":"2_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1007\/978-3-642-10248-6_13","volume-title":"Architecting Dependable Systems VI","author":"D Bisztray","year":"2009","unstructured":"Bisztray, D., Heckel, R., Ehrig, H.: Compositional verification of architectural refactorings. In: de Lemos, R., Fabre, J.-C., Gacek, C., Gadducci, F., ter Beek, M. (eds.) WADS 2008. LNCS, vol. 5835, pp. 308\u2013333. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-10248-6_13"},{"key":"2_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-23424-8_1","volume-title":"Variants of Evolutionary Algorithms for Real-World Applications","author":"C Blum","year":"2012","unstructured":"Blum, C., et al.: Evolutionary optimization. In: Chiong, R., Weise, T., Michalewicz, Z. (eds.) Variants of Evolutionary Algorithms for Real-World Applications, pp. 1\u201329. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-23424-8_1"},{"issue":"6","key":"2_CR6","doi-asserted-by":"publisher","first-page":"817","DOI":"10.1109\/TSE.2010.70","volume":"36","author":"M Bowman","year":"2010","unstructured":"Bowman, M., Briand, L.C., Labiche, Y.: Solving the class responsibility assignment problem in object-oriented analysis with multi-objective genetic algorithms. IEEE Trans. Softw. Eng. 36(6), 817\u2013837 (2010). https:\/\/doi.org\/10.1109\/TSE.2010.70","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"6","key":"2_CR7","doi-asserted-by":"publisher","first-page":"1857","DOI":"10.1007\/s10270-021-00914-w","volume":"20","author":"A Burdusel","year":"2021","unstructured":"Burdusel, A., Zschaler, S., John, S.: Automatic generation of atomic multiplicity-preserving search operators for search-based model engineering. Softw. Syst. Model. 20(6), 1857\u20131887 (2021). https:\/\/doi.org\/10.1007\/s10270-021-00914-w","journal-title":"Softw. Syst. Model."},{"key":"2_CR8","doi-asserted-by":"publisher","unstructured":"Burdusel, A., Zschaler, S., Str\u00fcber, D.: MDEOptimiser: a search based model engineering tool. In: Babur, \u00d6., et al. (eds.) Proceedings of the 21st ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS 2018, Copenhagen, Denmark, 14\u201319 October 2018, pp. 12\u201316. ACM (2018). https:\/\/doi.org\/10.1145\/3270112.3270130","DOI":"10.1145\/3270112.3270130"},{"key":"2_CR9","doi-asserted-by":"publisher","unstructured":"Burton, F.R., Poulding, S.M.: Complementing metaheuristic search with higher abstraction techniques. In: Paige, R.F., Harman, M., Williams, J.R. (eds.) 1st International Workshop on Combining Modelling and Search-Based Software Engineering, CMSBSE@ICSE 2013, San Francisco, CA, USA, 20 May 2013, pp. 45\u201348. IEEE Computer Society (2013). https:\/\/doi.org\/10.1109\/CMSBSE.2013.6604436","DOI":"10.1109\/CMSBSE.2013.6604436"},{"issue":"2","key":"2_CR10","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1109\/4235.996017","volume":"6","author":"K Deb","year":"2002","unstructured":"Deb, K., Agrawal, S., Pratap, A., Meyarivan, T.: A fast and elitist multiobjective genetic algorithm: NSGA-II. IEEE Trans. Evol. Comput. 6(2), 182\u2013197 (2002). https:\/\/doi.org\/10.1109\/4235.996017","journal-title":"IEEE Trans. Evol. Comput."},{"key":"2_CR11","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/j.tcs.2010.10.035","volume":"425","author":"B Doerr","year":"2012","unstructured":"Doerr, B., Happ, E., Klein, C.: Crossover can provably be useful in evolutionary computation. Theor. Comput. Sci. 425, 17\u201333 (2012). https:\/\/doi.org\/10.1016\/j.tcs.2010.10.035","journal-title":"Theor. Comput. Sci."},{"key":"2_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-031-20984-0_1","volume-title":"Service-Oriented Computing","author":"F Dur\u00e1n","year":"2022","unstructured":"Dur\u00e1n, F., Sala\u00fcn, G.: Optimization of BPMN processes via automated refactoring. In: Troya, J., Medjahed, B., Piattini, M., Yao, L., Fern\u00e1ndez, P., Ruiz-Cort\u00e9s, A. (eds.) ICSOC 2022. LNCS, vol. 13740, pp. 3\u201318. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-20984-0_1"},{"key":"2_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/978-3-319-61470-0_9","volume-title":"Graph Transformation","author":"J Dyck","year":"2017","unstructured":"Dyck, J., Giese, H.: k-inductive invariant checking for graph transformation systems. In: de Lara, J., Plump, D. (eds.) ICGT 2017. LNCS, vol. 10373, pp. 142\u2013158. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-61470-0_9"},{"issue":"5","key":"2_CR14","doi-asserted-by":"publisher","first-page":"2937","DOI":"10.1007\/s10270-018-00706-9","volume":"18","author":"J Dyck","year":"2019","unstructured":"Dyck, J., Giese, H., Lambers, L.: Automatic verification of behavior preservation at the transformation level for relational model transformation. Softw. Syst. Model. 18(5), 2937\u20132972 (2019). https:\/\/doi.org\/10.1007\/s10270-018-00706-9","journal-title":"Softw. Syst. Model."},{"key":"2_CR15","doi-asserted-by":"publisher","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Monographs in Theoretical Computer Science. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/3-540-31188-2","DOI":"10.1007\/3-540-31188-2"},{"key":"2_CR16","series-title":"Natural Computing Series","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44874-8","volume-title":"Introduction to Evolutionary Computing","author":"AE Eiben","year":"2015","unstructured":"Eiben, A.E., Smith, J.E.: Introduction to Evolutionary Computing. Natural Computing Series, 2nd edn. Springer, Heidelberg (2015). https:\/\/doi.org\/10.1007\/978-3-662-44874-8","edition":"2"},{"key":"2_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1007\/978-3-540-69100-6_7","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","author":"G Engels","year":"2008","unstructured":"Engels, G., Kleppe, A., Rensink, A., Semenyak, M., Soltenborn, C., Wehrheim, H.: From UML activities to TAAL - towards behaviour-preserving model transformations. In: Schieferdecker, I., Hartman, A. (eds.) ECMDA-FA 2008. LNCS, vol. 5095, pp. 94\u2013109. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-69100-6_7"},{"key":"2_CR18","unstructured":"Fleck, M., Troya, J., Wimmer, M.: Marrying search-based optimization and model transformation technology. In: Proceedings of the First North American Search Based Software Engineering Symposium. Elsevier (2015). http:\/\/publik.tuwien.ac.at\/files\/PubDat_237899.pdf. Accessed 07 Dec 2022"},{"issue":"2","key":"2_CR19","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1017\/S0960129508007202","volume":"19","author":"A Habel","year":"2009","unstructured":"Habel, A., Pennemann, K.: Correctness of high-level transformation systems relative to nested conditions. Math. Struct. Comput. Sci. 19(2), 245\u2013296 (2009). https:\/\/doi.org\/10.1017\/S0960129508007202","journal-title":"Math. Struct. Comput. Sci."},{"key":"2_CR20","doi-asserted-by":"publisher","unstructured":"Harman, M., Mansouri, S.A., Zhang, Y.: Search-based software engineering: trends, techniques and applications. ACM Comput. Surv. 45(1), 11:1\u201311:61 (2012). https:\/\/doi.org\/10.1145\/2379776.2379787","DOI":"10.1145\/2379776.2379787"},{"issue":"3","key":"2_CR21","doi-asserted-by":"publisher","first-page":"1102","DOI":"10.1109\/TSE.2022.3171404","volume":"49","author":"JM Horcas","year":"2023","unstructured":"Horcas, J.M., Str\u00fcber, D., Burdusel, A., Martinez, J., Zschaler, S.: We\u2019re not gonna break it! Consistency-preserving operators for efficient product line configuration. IEEE Trans. Softw. Eng. 49(3), 1102\u20131117 (2023). https:\/\/doi.org\/10.1109\/TSE.2022.3171404","journal-title":"IEEE Trans. Softw. Eng."},{"key":"2_CR22","doi-asserted-by":"publisher","unstructured":"John, S., et al.: Searching for optimal models: comparing two encoding approaches. J. Object Technol. 18(3), 6:1\u201322 (2019). https:\/\/doi.org\/10.5381\/jot.2019.18.3.a6","DOI":"10.5381\/jot.2019.18.3.a6"},{"issue":"4","key":"2_CR23","doi-asserted-by":"publisher","first-page":"1281","DOI":"10.1007\/s10270-022-01078-x","volume":"22","author":"S John","year":"2023","unstructured":"John, S., Kosiol, J., Lambers, L., Taentzer, G.: A graph-based framework for model-driven optimization facilitating impact analysis of mutation operator properties. Softw. Syst. Model. 22(4), 1281\u20131318 (2023). https:\/\/doi.org\/10.1007\/s10270-022-01078-x","journal-title":"Softw. Syst. Model."},{"key":"2_CR24","doi-asserted-by":"publisher","unstructured":"John, S., Kosiol, J., Taentzer, G.: Towards a configurable crossover operator for model-driven optimization. In: K\u00fchn, T., Sousa, V. (eds.) Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS 2022, Montreal, Quebec, Canada, 23\u201328 October 2022, pp. 388\u2013395. ACM (2022). https:\/\/doi.org\/10.1145\/3550356.3561603","DOI":"10.1145\/3550356.3561603"},{"key":"2_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/978-3-030-23220-7_8","volume-title":"Recent Trends in Algebraic Development Techniques","author":"J Kosiol","year":"2019","unstructured":"Kosiol, J., Fritsche, L., Nassar, N., Sch\u00fcrr, A., Taentzer, G.: Constructing constraint-preserving interaction schemes in adhesive categories. In: Fiadeiro, J.L., Tutu, I. (eds.) WADT 2018. LNCS, vol. 11563, pp. 139\u2013153. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-23220-7_8"},{"key":"2_CR26","doi-asserted-by":"publisher","first-page":"100909","DOI":"10.1016\/j.jlamp.2023.100909","volume":"136","author":"J Kosiol","year":"2024","unstructured":"Kosiol, J., John, S., Taentzer, G.: A generic construction for crossovers of graph-like structures and its realization in the eclipse modeling framework. J. Log. Algebraic Methods Program. 136, 100909 (2024). https:\/\/doi.org\/10.1016\/j.jlamp.2023.100909","journal-title":"J. Log. Algebraic Methods Program."},{"key":"2_CR27","doi-asserted-by":"publisher","first-page":"102729","DOI":"10.1016\/j.scico.2021.102729","volume":"214","author":"J Kosiol","year":"2022","unstructured":"Kosiol, J., Str\u00fcber, D., Taentzer, G., Zschaler, S.: Sustaining and improving graduated graph consistency: a static analysis of graph transformations. Sci. Comput. Program. 214, 102729 (2022). https:\/\/doi.org\/10.1016\/j.scico.2021.102729","journal-title":"Sci. Comput. Program."},{"key":"2_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1007\/978-3-031-36709-0_11","volume-title":"Graph Transformation","author":"T Kr\u00e4uter","year":"2023","unstructured":"Kr\u00e4uter, T., Rutle, A., K\u00f6nig, H., Lamo, Y.: Formalization and analysis of BPMN using graph transformation systems. In: Fern\u00e1ndez, M., Poskitt, C.M. (eds.) ICGT 2023. LNCS, vol. 13961, pp. 204\u2013222. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-36709-0_11"},{"key":"2_CR29","doi-asserted-by":"publisher","unstructured":"Lauer, A., Kosiol, J., Taentzer, G.: Empowering model repair: a rule-based approach to graph repair without side effects. In: ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2023 Companion, V\u00e4ster\u00e5s, Sweden, 1\u20136 October 2023, pp. 831\u2013840. IEEE (2023). https:\/\/doi.org\/10.1109\/MODELS-C59198.2023.00132","DOI":"10.1109\/MODELS-C59198.2023.00132"},{"key":"2_CR30","doi-asserted-by":"publisher","unstructured":"Martinez, J., Str\u00fcber, D., Horcas, J.M., Burdusel, A., Zschaler, S.: Acapulco: an extensible tool for identifying optimal and consistent feature model configurations. In: Felfernig, A., et al. (eds.) SPLC 2022: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, 12\u201316 September 2022, vol. B, pp. 50\u201353. ACM (2022). https:\/\/doi.org\/10.1145\/3503229.3547067","DOI":"10.1145\/3503229.3547067"},{"key":"2_CR31","doi-asserted-by":"publisher","unstructured":"Narayanan, A., Karsai, G.: Towards verifying model transformations. In: Bruni, R., Varr\u00f3, D. (eds.) Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques, GT-VMT@ETAPS 2006, Vienna, Austria, 1\u20132 April 2006. Electronic Notes in Theoretical Computer Science, vol.\u00a0211, pp. 191\u2013200. Elsevier (2006). https:\/\/doi.org\/10.1016\/J.ENTCS.2008.04.041","DOI":"10.1016\/J.ENTCS.2008.04.041"},{"key":"2_CR32","doi-asserted-by":"publisher","first-page":"100564","DOI":"10.1016\/j.jlamp.2020.100564","volume":"114","author":"N Nassar","year":"2020","unstructured":"Nassar, N., Kosiol, J., Arendt, T., Taentzer, G.: Constructing optimized constraint-preserving application conditions for model transformation rules. J. Log. Algebraic Methods Program. 114, 100564 (2020). https:\/\/doi.org\/10.1016\/j.jlamp.2020.100564","journal-title":"J. Log. Algebraic Methods Program."},{"key":"2_CR33","doi-asserted-by":"crossref","unstructured":"Nassar, N., Kosiol, J., Radke, H.: Rule-based repair of EMF models: formalization and correctness proof. In: Graph Computation Models (GCM 2017). Electronic Pre-Proceedings (2017). pages.di.unipi.it\/corradini\/Workshops\/GCM2017\/papers\/Nassar-Kosiol-Radke-GCM2017.pdf","DOI":"10.1007\/978-3-319-61473-1_12"},{"key":"2_CR34","unstructured":"OMG: Business process model and notation. version 2.0 (2011). http:\/\/www.omg.org\/spec\/BPMN\/2.0\/"},{"key":"2_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1007\/978-3-540-87405-8_17","volume-title":"Graph Transformations","author":"G Rangel","year":"2008","unstructured":"Rangel, G., Lambers, L., K\u00f6nig, B., Ehrig, H., Baldan, P.: Behavior preservation in model refactoring using DPO transformations with borrowed contexts. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) ICGT 2008. LNCS, vol. 5214, pp. 242\u2013256. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-87405-8_17"},{"key":"2_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1007\/978-3-540-25970-1_19","volume-title":"Business Process Management","author":"HA Reijers","year":"2004","unstructured":"Reijers, H.A., Vanderfeesten, I.T.P.: Cohesion and coupling metrics for workflow process design. In: Desel, J., Pernici, B., Weske, M. (eds.) BPM 2004. LNCS, vol. 3080, pp. 290\u2013305. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-25970-1_19"},{"key":"2_CR37","doi-asserted-by":"publisher","unstructured":"Sandmann, C., Habel, A.: Rule-based graph repair. In: Echahed, R., Plump, D. (eds.) Proceedings Tenth International Workshop on Graph Computation Models, GCM@STAF 2019, Eindhoven, The Netherlands, 17 July 2019. EPTCS, vol.\u00a0309, pp. 87\u2013104 (2019). https:\/\/doi.org\/10.4204\/EPTCS.309.5","DOI":"10.4204\/EPTCS.309.5"},{"issue":"2","key":"2_CR38","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1109\/MC.2006.58","volume":"39","author":"DC Schmidt","year":"2006","unstructured":"Schmidt, D.C.: Guest editor\u2019s introduction: model-driven engineering. Computer 39(2), 25\u201331 (2006). https:\/\/doi.org\/10.1109\/MC.2006.58","journal-title":"Computer"},{"issue":"3","key":"2_CR39","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1007\/s10009-020-00584-x","volume":"23","author":"S Schneider","year":"2021","unstructured":"Schneider, S., Lambers, L., Orejas, F.: A logic-based incremental approach to graph repair featuring delta preservation. Int. J. Softw. Tools Technol. Transf. 23(3), 369\u2013410 (2021). https:\/\/doi.org\/10.1007\/s10009-020-00584-x","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"2_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/978-3-031-09843-7_10","volume-title":"Graph Transformation","author":"S Schneider","year":"2022","unstructured":"Schneider, S., Maximova, M., Giese, H.: Invariant analysis for multi-agent graph transformation systems using k-induction. In: Behr, N., Str\u00fcber, D. (eds.) ICGT 2022. LNCS, vol. 13349, pp. 173\u2013192. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-09843-7_10"},{"issue":"3","key":"2_CR41","doi-asserted-by":"publisher","first-page":"358","DOI":"10.1109\/TEVC.2015.2459718","volume":"20","author":"H Seada","year":"2016","unstructured":"Seada, H., Deb, K.: A unified evolutionary optimization procedure for single, multiple, and many objectives. IEEE Trans. Evol. Comput. 20(3), 358\u2013369 (2016). https:\/\/doi.org\/10.1109\/TEVC.2015.2459718","journal-title":"IEEE Trans. Evol. Comput."},{"issue":"2","key":"2_CR42","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1162\/EVCO_a_00171","volume":"25","author":"D Sudholt","year":"2017","unstructured":"Sudholt, D.: How crossover speeds up building block assembly in genetic algorithms. Evol. Comput. 25(2), 237\u2013274 (2017). https:\/\/doi.org\/10.1162\/EVCO_a_00171","journal-title":"Evol. Comput."},{"key":"2_CR43","doi-asserted-by":"publisher","unstructured":"Th\u00f6lke, H., Kosiol, J.: A multiplicity-preserving crossover operator on graphs. In: K\u00fchn, T., Sousa, V. (eds.) Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS 2022, Montreal, Quebec, Canada, 23\u201328 October 2022, pp. 588\u2013597. ACM (2022). https:\/\/doi.org\/10.1145\/3550356.3561587","DOI":"10.1145\/3550356.3561587"},{"key":"2_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-27755-2_1","volume-title":"Lectures on Concurrency and Petri Nets","author":"WMP Aalst","year":"2004","unstructured":"Aalst, W.M.P.: Business process management demystified: a tutorial on models, systems and standards for workflow management. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) ACPN 2003. LNCS, vol. 3098, pp. 1\u201365. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-27755-2_1"},{"key":"2_CR45","unstructured":"Vanderfeesten, I., Cardoso, J., Mendling, J., Reijers, H.A., Van der Aalst, W.: Quality metrics for business process models. In: BPM and Workflow Handbook, vol. 144, no. 2007, pp. 179\u2013190 (2007)"},{"issue":"8","key":"2_CR46","doi-asserted-by":"publisher","first-page":"2638","DOI":"10.1016\/j.asoc.2012.04.009","volume":"12","author":"K Vergidis","year":"2012","unstructured":"Vergidis, K., Saxena, D.K., Tiwari, A.: An evolutionary multi-objective framework for business process optimisation. Appl. Soft Comput. 12(8), 2638\u20132653 (2012). https:\/\/doi.org\/10.1016\/j.asoc.2012.04.009","journal-title":"Appl. Soft Comput."},{"issue":"1","key":"2_CR47","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1109\/TSMCC.2007.905812","volume":"38","author":"K Vergidis","year":"2008","unstructured":"Vergidis, K., Tiwari, A., Majeed, B.: Business process analysis and optimization: beyond reengineering. IEEE Trans. Syst. Man Cybern. Part C 38(1), 69\u201382 (2008). https:\/\/doi.org\/10.1109\/TSMCC.2007.905812","journal-title":"IEEE Trans. Syst. Man Cybern. Part C"},{"key":"2_CR48","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/978-3-319-50230-4_24","volume-title":"Software Technologies: Applications and Foundations","author":"S Zschaler","year":"2016","unstructured":"Zschaler, S., Mandow, L.: Towards model-based optimisation: using domain knowledge explicitly. In: Milazzo, P., Varr\u00f3, D., Wimmer, M. (eds.) STAF 2016. LNCS, vol. 9946, pp. 317\u2013329. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-50230-4_24"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets and Concurrency"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-61433-0_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,12]],"date-time":"2024-06-12T16:02:20Z","timestamp":1718208140000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-61433-0_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031614323","9783031614330"],"references-count":48,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-61433-0_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"13 June 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"PETRI NETS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Applications and Theory of Petri Nets and Concurrency","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Geneva","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Switzerland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 June 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 June 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"45","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"apn2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.unige.ch\/petrinets2024\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}