{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,22]],"date-time":"2026-05-22T15:05:32Z","timestamp":1779462332198,"version":"3.53.1"},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2026,2,1]],"date-time":"2026-02-01T00:00:00Z","timestamp":1769904000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2026,3,23]],"date-time":"2026-03-23T00:00:00Z","timestamp":1774224000000},"content-version":"vor","delay-in-days":50,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100007241","name":"Universit\u00e9 Paris-Saclay","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100007241","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2026,2]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>\n                    Process mining is concerned with deriving formal models capable of reproducing the behaviour of a given organisational process by analysing observed executions collected in an\n                    <jats:italic>event log<\/jats:italic>\n                    . The elements of an event log are finite sequences (called also\n                    <jats:italic>traces<\/jats:italic>\n                    or\n                    <jats:italic>words<\/jats:italic>\n                    ) of actions. Many effective algorithms have been introduced which issue a\n                    <jats:italic>control flow<\/jats:italic>\n                    model (commonly in Petri net form) aimed at reproducing, as precisely as possible, the\n                    <jats:italic>language<\/jats:italic>\n                    of the considered event log. However, given that identical executions can be observed several times, traces of an event log are associated with a\n                    <jats:italic>frequency<\/jats:italic>\n                    and, hence, an event log inherently yields also a\n                    <jats:italic>stochastic language<\/jats:italic>\n                    . By exploiting the trace frequencies contained in the event log, the stochastic extension of process mining, therefore, consists in deriving stochastic (Petri net) models capable of reproducing the likelihood of the observed executions. In this paper, we introduce a novel stochastic process mining approach. Starting from a non-stochastic Petri net model mined through classical mining algorithms, we employ optimization to identify optimal weights for the transitions of the mined net so that the stochastic language issued by the stochastic interpretation of the mined net closely resembles that of the event log. The optimization is either based on the maximum likelihood principle or on the earth moving distance and we study in detail the characteristics of the associated objective function in both cases. It turns out that the objective function in case of using the maximum likelihood approach lends itself better to optimization. Experiments on some popular real system logs show an improved accuracy with respect to alternative approaches.\n                  <\/jats:p>","DOI":"10.1007\/s10009-026-00850-4","type":"journal-article","created":{"date-parts":[[2026,3,23]],"date-time":"2026-03-23T14:49:09Z","timestamp":1774277349000},"page":"27-54","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["An efficient stochastic process discovery framework based on optimization"],"prefix":"10.1007","volume":"28","author":[{"given":"Pierre","family":"Cry","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andr\u00e1s","family":"Horv\u00e1th","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Paolo","family":"Ballarini","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Pascale","family":"Le Gall","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,3,23]]},"reference":[{"issue":"2","key":"850_CR1","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/s10115-018-1214-x","volume":"59","author":"A. Augusto","year":"2019","unstructured":"Augusto, A., Conforti, R., Dumas, M., La Rosa, M., Polyvyanyy, A.: Split miner: automated discovery of accurate and simple business process models from event logs. Knowl. Inf. Syst. 59(2), 251\u2013284 (2019)","journal-title":"Knowl. Inf. Syst."},{"key":"850_CR2","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1109\/ICPM63005.2024.10680664","volume-title":"2024 6th International Conference on Process Mining (ICPM)","author":"T. Brockhoff","year":"2024","unstructured":"Brockhoff, T., Uysal, M.S., Van Der Aalst, W.M.P.: Wasserstein weight estimation for stochastic Petri nets. In: 2024 6th International Conference on Process Mining (ICPM), pp.\u00a081\u201388 (2024)"},{"key":"850_CR3","series-title":"Lecture Notes in Business Information Processing","first-page":"260","volume-title":"Revised Selected Papers","author":"A. Burke","year":"2020","unstructured":"Burke, A., Leemans, S.J.J., Wynn, M.T.: Stochastic process discovery by weight estimation. In: Leemans, S.J.J., Leopold, H. (eds.) Revised Selected Papers, Process Mining Workshops\u00a0- ICPM 2020 International Workshops, Padua, Italy, October 5\u20138, 2020. Lecture Notes in Business Information Processing, vol.\u00a0406, pp.\u00a0260\u2013272. Springer, Berlin (2020)"},{"key":"850_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"312","DOI":"10.1007\/978-3-030-76983-3_16","volume-title":"Proceedings","author":"A. Burke","year":"2021","unstructured":"Burke, A., Leemans, S.J.J., Wynn, M.T.: Discovering stochastic process models by reduction and abstraction. In: Buchs, D., Carmona, J. (eds.) Proceedings, Application and Theory of Petri Nets and Concurrency\u00a0- 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23-25, 2021. Lecture Notes in Computer Science, vol.\u00a012734, pp.\u00a0312\u2013336. Springer, Berlin (2021)"},{"issue":"5","key":"850_CR5","doi-asserted-by":"publisher","first-page":"1190","DOI":"10.1137\/0916069","volume":"16","author":"R.H. Byrd","year":"1995","unstructured":"Byrd, R.H., Lu, P., Nocedal, J., Zhu, C.: A limited memory algorithm for bound constrained optimization. SIAM J. Sci. Comput. 16(5), 1190\u20131208 (1995)","journal-title":"SIAM J. Sci. Comput."},{"key":"850_CR6","first-page":"9","volume-title":"Proceedings","author":"P. Cry","year":"2024","unstructured":"Cry, P., Horv\u00e1th, A., Ballarini, P., Le Gall, P.: A framework for optimisation based stochastic process discovery. In: Proceedings, Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9\u201313, 2024, pp.\u00a09\u201313. Springer, Berlin (2024)"},{"key":"850_CR7","unstructured":"Fraunhofer Institute for Applied Information Technology FIT and PM4Py Development Team: Pm4py\u00a0- process mining for python (2024). https:\/\/pypi.org\/project\/pm4py\/. Version: 2.7.9 (as of April 2024)"},{"key":"850_CR8","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/s10589-010-9329-3","volume":"51","author":"F. Gao","year":"2012","unstructured":"Gao, F., Han, L.: Implementing the Nelder-Mead simplex algorithm with adaptive parameters. Comput. Optim. Appl. 51, 259 (2012)","journal-title":"Comput. Optim. Appl."},{"key":"850_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1007\/978-3-642-38697-8_17","volume-title":"Proceedings","author":"S.J.J. Leemans","year":"2013","unstructured":"Leemans, S.J.J., Fahland, D., van der Aalst, W.M.P.: Discovering block-structured process models from event logs\u00a0- a constructive approach. In: Colom, J.M., Desel, J. (eds.) Proceedings, Application and Theory of Petri Nets and Concurrency\u00a0- 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Lecture Notes in Computer Science, vol.\u00a07927, pp.\u00a0311\u2013329. Springer, Berlin (2013)"},{"key":"850_CR10","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/978-3-319-06257-0_6","volume-title":"Business Process Management Workshops","author":"S.J.J. Leemans","year":"2014","unstructured":"Leemans, S.J.J., Fahland, D., van der Aalst, W.M.P.: Discovering block-structured process models from event logs containing infrequent behaviour. In: Lohmann, N., Song, M., Wohed, P. (eds.) Business Process Management Workshops, pp.\u00a066\u201378. Springer, Cham (2014)"},{"key":"850_CR11","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1109\/ICPM.2019.00015","volume-title":"2019 International Conference on Process Mining (ICPM)","author":"S.J.J. Leemans","year":"2019","unstructured":"Leemans, S.J.J., Poppe, E., Wynn, M.T.: Directly follows-based process mining: exploration a case study. In: 2019 International Conference on Process Mining (ICPM), pp.\u00a025\u201332 (2019)"},{"key":"850_CR12","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/978-3-030-26643-1_8","volume-title":"Business Process Management Forum","author":"S.J.J. Leemans","year":"2019","unstructured":"Leemans, S.J.J., Syring, A.F., van der Aalst, W.M.P.: Earth movers\u2019 stochastic conformance checking. In: Hildebrandt, T., van Dongen, B.F., R\u00f6glinger, M., Mendling, J. (eds.) Business Process Management Forum, pp.\u00a0127\u2013143. Springer, Cham (2019)"},{"key":"850_CR13","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2021.101724","volume":"102","author":"S.J.J. Leemans","year":"2021","unstructured":"Leemans, S.J.J., van der Aalst, W.M.P., Brockhoff, T., Polyvyanyy, A.: Stochastic process mining: Earth movers\u2019 stochastic conformance. Inf. Syst. 102, 101724 (2021)","journal-title":"Inf. Syst."},{"key":"850_CR14","first-page":"36","volume-title":"Proceedings","author":"S.J.J. Leemans","year":"2024","unstructured":"Leemans, S.J.J., Li, T., Montali, M., Polyvyanyy, A.: Stochastic process discovery: can it be done optimally? In: Proceedings, Advanced Information Systems Engineering: 36th International Conference, CAiSE 2024, Limassol, Cyprus, June 3\u20137, 2024, pp.\u00a036\u201352. Springer, Berlin (2024)"},{"issue":"2","key":"850_CR15","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/288197.581193","volume":"26","author":"M.A. Marsan","year":"1998","unstructured":"Marsan, M.A., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with generalized stochastic Petri nets. ACM SIGMETRICS Perform. Eval. Rev. 26(2), 2 (1998)","journal-title":"ACM SIGMETRICS Perform. Eval. Rev."},{"issue":"4","key":"850_CR16","doi-asserted-by":"publisher","first-page":"770","DOI":"10.1137\/0721052","volume":"21","author":"S.G. Nash","year":"1984","unstructured":"Nash, S.G.: Newton-type minimization via the Lanczos method. SIAM J. Numer. Anal. 21(4), 770\u2013788 (1984)","journal-title":"SIAM J. Numer. Anal."},{"key":"850_CR17","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1109\/ICPM49681.2020.00024","volume-title":"2020 2nd International Conference on Process Mining (ICPM)","author":"A. Polyvyanyy","year":"2020","unstructured":"Polyvyanyy, A., Moffat, A., Garc\u2019ia-Banuelos, L.: An entropic relevance measure for stochastic conformance checking in process mining. In: 2020 2nd International Conference on Process Mining (ICPM), pp.\u00a097\u2013104 (2020)"},{"issue":"2","key":"850_CR18","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1093\/comjnl\/7.2.155","volume":"7","author":"M.J.D. Powell","year":"1964","unstructured":"Powell, M.J.D.: An efficient method for finding the minimum of a function of several variables without calculating derivatives. Comput. J. 7(2), 155\u2013162 (1964)","journal-title":"Comput. J."},{"key":"850_CR19","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1007\/978-3-319-06257-0_2","volume-title":"Revised Papers","author":"A. Rogge-Solti","year":"2014","unstructured":"Rogge-Solti, A., van der Aalst, W.M.P., Weske, M.H.: Discovering stochastic Petri nets with arbitrary delay distributions from event logs. In: Lohmann, N., Song, M., Wohed, P. (eds.) Revised Papers, Business Process Management Workshops: BPM 2013 International Workshops, Beijing, China, August 26, 2013. Lecture Notes in Business Information Processing, pp.\u00a015\u201327. Springer, Berlin (2014). 9th International Workshop on Business Process Intelligence (BPI 2013), BPI 2013; Conference date: 26-08-2013 Through 26-08-2013"},{"key":"850_CR20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49851-4","volume-title":"Process Mining: Data Science in Action","author":"W. van der Aalst","year":"2016","unstructured":"van der Aalst, W.: Process Mining: Data Science in Action, 2nd edn. Springer (2016)","edition":"2"},{"issue":"9","key":"850_CR21","doi-asserted-by":"publisher","first-page":"1128","DOI":"10.1109\/TKDE.2004.47","volume":"16","author":"W. van der Aalst","year":"2004","unstructured":"van der Aalst, W., Weijters, T., Maruster, L.: Workflow mining: discovering process models from event logs. IEEE Trans. Knowl. Data Eng. 16(9), 1128\u20131142 (2004)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"issue":"2","key":"850_CR22","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1002\/widm.1045","volume":"2","author":"W. van der Aalst","year":"2012","unstructured":"van der Aalst, W., Adriansyah, A., van Dongen, B.: Replaying history on process models for conformance checking and performance analysis. WIREs Data Min. Knowl. Discov. 2(2), 182\u2013192 (2012)","journal-title":"WIREs Data Min. Knowl. Discov."},{"key":"850_CR23","doi-asserted-by":"publisher","first-page":"368","DOI":"10.1007\/978-3-540-68746-7_24","volume-title":"Applications and Theory of Petri Nets","author":"J.M.E.M. van der Werf","year":"2008","unstructured":"van der Werf, J.M.E.M., van Dongen, B.F., Hurkens, C.A.J., Serebrenik, A.: Process discovery using integer linear programming. In: van Hee, K.M., Valk, R. (eds.) Applications and Theory of Petri Nets, pp.\u00a0368\u2013387. Springer, Berlin (2008)"},{"key":"850_CR24","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/j.dss.2017.04.005","volume":"100","author":"S.K.L.M. vanden Broucke","year":"2017","unstructured":"vanden Broucke, S.K.L.M., De Weerdt, J.: Fodina: a robust and flexible heuristic process discovery technique. Decis. Support Syst. 100, 109\u2013118 (2017). Smart Business Process Management","journal-title":"Decis. Support Syst."},{"key":"850_CR25","series-title":"BETA Working Paper Series","volume-title":"Process Mining with the Heuristics Miner-Algorithm","author":"A.J.M.M. Weijters","year":"2006","unstructured":"Weijters, A.J.M.M., van der Aalst, W.M.P., Alves de Medeiros, A.K.: Process Mining with the Heuristics Miner-Algorithm. BETA Working Paper Series, vol.\u00a0WP 166. Eindhoven University of Technology, Eindhoven (2006)"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-026-00850-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10009-026-00850-4","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-026-00850-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,22]],"date-time":"2026-05-22T14:13:45Z","timestamp":1779459225000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10009-026-00850-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,2]]},"references-count":25,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2026,2]]}},"alternative-id":["850"],"URL":"https:\/\/doi.org\/10.1007\/s10009-026-00850-4","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,2]]},"assertion":[{"value":"27 February 2026","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"23 March 2026","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}