{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,23]],"date-time":"2025-12-23T00:54:09Z","timestamp":1766451249485,"version":"3.28.0"},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2023,9,14]],"date-time":"2023-09-14T00:00:00Z","timestamp":1694649600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2023,9,14]],"date-time":"2023-09-14T00:00:00Z","timestamp":1694649600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[2024,3]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>A novel and efficient method for discovering concurrent workflow processes is presented. It allows building a suitable workflow net (WFN) from a large event log<jats:inline-formula><jats:alternatives><jats:tex-math>$$\\lambda $$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\"><mml:mi>\u03bb<\/mml:mi><\/mml:math><\/jats:alternatives><\/jats:inline-formula>, which represents the behaviour of complex iterative processes involving concurrency. First, the<jats:italic>t<\/jats:italic>-invariants are determined from<jats:inline-formula><jats:alternatives><jats:tex-math>$$\\lambda $$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\"><mml:mi>\u03bb<\/mml:mi><\/mml:math><\/jats:alternatives><\/jats:inline-formula>; this allows computing the causal and concurrent relations between the events and the implicit causal relations between events that do not appear consecutively in<jats:inline-formula><jats:alternatives><jats:tex-math>$$\\lambda $$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\"><mml:mi>\u03bb<\/mml:mi><\/mml:math><\/jats:alternatives><\/jats:inline-formula>. Then a 1-bounded WFN is built, which could be eventually adjusted if its<jats:italic>t<\/jats:italic>-invariants do not match with those computed from<jats:inline-formula><jats:alternatives><jats:tex-math>$$\\lambda $$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\"><mml:mi>\u03bb<\/mml:mi><\/mml:math><\/jats:alternatives><\/jats:inline-formula>. The discovered model allows firing all the traces in<jats:inline-formula><jats:alternatives><jats:tex-math>$$\\lambda $$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\"><mml:mi>\u03bb<\/mml:mi><\/mml:math><\/jats:alternatives><\/jats:inline-formula>. The procedures derived from the method are polynomial time on<jats:inline-formula><jats:alternatives><jats:tex-math>$$|\\lambda |$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\"><mml:mrow><mml:mo>|<\/mml:mo><mml:mi>\u03bb<\/mml:mi><mml:mo>|<\/mml:mo><\/mml:mrow><\/mml:math><\/jats:alternatives><\/jats:inline-formula>; they have been implemented and tested on artificial logs.<\/jats:p>","DOI":"10.1007\/s00236-023-00445-5","type":"journal-article","created":{"date-parts":[[2023,9,14]],"date-time":"2023-09-14T13:50:11Z","timestamp":1694699411000},"page":"1-21","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Discovering workflow nets of concurrent iterative processes"],"prefix":"10.1007","volume":"61","author":[{"given":"Tonatiuh","family":"Tapia-Flores","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ernesto","family":"L\u00f3pez-Mellado","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,9,14]]},"reference":[{"issue":"5","key":"445_CR1","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1016\/S0019-9958(67)91165-5","volume":"10","author":"ME Gold","year":"1967","unstructured":"Gold, M.E.: Language identification in the limit. Inf. Control 10(5), 447\u2013474 (1967)","journal-title":"Inf. Control"},{"issue":"4","key":"445_CR2","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1023\/a:1022821128753","volume":"2","author":"D Angluin","year":"1988","unstructured":"Angluin, D.: Queries and concept learning. Mach. Learn. 2(4), 319\u2013342 (1988). https:\/\/doi.org\/10.1023\/a:1022821128753","journal-title":"Mach. Learn."},{"key":"445_CR3","doi-asserted-by":"crossref","unstructured":"Meda-Campana, M., Ramirez-Treviro, A., L\u00f3pez-Mellado, E.: Asymptotic identification of discrete event systems. In: Proceedings of the 39th IEEE conference on, pp. 2266\u20132271. IEEE (2000)","DOI":"10.1109\/CDC.2000.914135"},{"key":"445_CR4","unstructured":"Meda-Campana, M., L\u00f3pez-Mellado, E.: Identification of concurrent discrete event systems using petri nets. In: Proceedings of the 17th IMACS world congress on computational and applied mathematics, pp. 11\u201315 (2005)"},{"key":"445_CR5","unstructured":"Giua, A., Seatzu, C.: Identification of free-labeled petri nets via integer programming. In: Decision and Control, 2005 and 2005 European Control Conference. CDC-ECC\u201905. 44th IEEE conference on, pp. 7639\u20137644 (2005). IEEE"},{"key":"445_CR6","doi-asserted-by":"crossref","unstructured":"Cabasino, M.P., Giua, A., Seatzu, C.: Linear programming techniques for the identification of place\/transition nets. In: Decision and control, 2008. CDC 2008. 47th IEEE conference on, pp. 514\u2013520 (2008). IEEE","DOI":"10.1109\/CDC.2008.4739039"},{"issue":"9","key":"445_CR7","doi-asserted-by":"publisher","first-page":"958","DOI":"10.1016\/j.conengprac.2010.09.004","volume":"19","author":"M Dotoli","year":"2011","unstructured":"Dotoli, M., Pia Fanti, M., Mangini, A.M., Ukovich, W.: Identification of the unobservable behaviour of industrial automation systems by petri nets. Control. Eng. Pract. 19(9), 958\u2013966 (2011)","journal-title":"Control. Eng. Pract."},{"key":"445_CR8","doi-asserted-by":"crossref","unstructured":"Klein, S., Litz, L., Lesage, J.-J.: Fault detection of discrete event systems using an identification approach. In: 16th IFAC world congress (2005)","DOI":"10.3182\/20050703-6-CZ-1902.01440"},{"issue":"10","key":"445_CR9","doi-asserted-by":"publisher","first-page":"1826","DOI":"10.1080\/00207721.2011.649369","volume":"43","author":"M Roth","year":"2012","unstructured":"Roth, M., Schneider, S., Lesage, J.-J., Litz, L.: Fault detection and isolation in manufacturing systems with an identified discrete event model. Int. J. Syst. Sci. 43(10), 1826\u20131841 (2012)","journal-title":"Int. J. Syst. Sci."},{"issue":"3","key":"445_CR10","doi-asserted-by":"publisher","first-page":"456","DOI":"10.1080\/00207721.2012.724098","volume":"45","author":"AP Estrada-Vargas","year":"2014","unstructured":"Estrada-Vargas, A.P., L\u00f3pez-Mellado, E., Lesage, J.-J.: Input-output identification of controlled discrete manufacturing systems. Int. J. Syst. Sci. 45(3), 456\u2013471 (2014)","journal-title":"Int. J. Syst. Sci."},{"issue":"2","key":"445_CR11","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1080\/0951192X.2013.874591","volume":"28","author":"AP Estrada-Vargas","year":"2015","unstructured":"Estrada-Vargas, A.P., Lesage, J.-J., L\u00f3pez-Mellado, E.: A stepwise method for identification of controlled discrete manufacturing systems. Int. J. Comput. Integr. Manuf. 28(2), 187\u2013199 (2015). https:\/\/doi.org\/10.1080\/0951192X.2013.874591","journal-title":"Int. J. Comput. Integr. Manuf."},{"key":"445_CR12","doi-asserted-by":"publisher","DOI":"10.1155\/2010\/453254","author":"AP Estrada-Vargas","year":"2010","unstructured":"Estrada-Vargas, A.P., L\u00f3pez-Mellado, E., Lesage, J.-J.: A comparative analysis of recent identification approaches for discrete-event systems. Math. Prob. Eng. (2010). https:\/\/doi.org\/10.1155\/2010\/453254","journal-title":"Math. Prob. Eng."},{"key":"445_CR13","volume-title":"Contemporary issues in systems science and engineering","author":"MP Cabasino","year":"2013","unstructured":"Cabasino, M.P., Darondeau, P., Fanti, M.P., Seatzu, C.: Model identification and synthesis of discrete-event systems. In: Zhou, M., Li, H.X., Weijnen, M. (eds.) Contemporary issues in systems science and engineering. Wiley, London (2013)"},{"issue":"01","key":"445_CR14","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"WM Aalst","year":"1998","unstructured":"Aalst, W.M.: The application of petri nets to workflow management. J. Circuits Syst. Comput. 8(01), 21\u201366 (1998)","journal-title":"J. Circuits Syst. Comput."},{"issue":"4","key":"445_CR15","doi-asserted-by":"publisher","first-page":"4039","DOI":"10.1016\/j.eswa.2010.09.066","volume":"38","author":"C Ou-Yang","year":"2011","unstructured":"Ou-Yang, C., Winarjo, H.: Petri-net integration\u2013an approach to support multi-agent process mining. Expert Syst. Appl. 38(4), 4039\u20134051 (2011). https:\/\/doi.org\/10.1016\/j.eswa.2010.09.066","journal-title":"Expert Syst. Appl."},{"issue":"4","key":"445_CR16","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1080\/17517575.2011.580007","volume":"5","author":"J Ma","year":"2011","unstructured":"Ma, J., Wang, K., Xu, L.: Modelling and analysis of workflow for lean supply chains. Enterp. Inf. Syst. 5(4), 423\u2013447 (2011). https:\/\/doi.org\/10.1080\/17517575.2011.580007","journal-title":"Enterp. Inf. Syst."},{"key":"445_CR17","doi-asserted-by":"publisher","unstructured":"Cook, J.E., Wolf, A.L.: Automating process discovery through event-data analysis. In: 1995 17th international conference on software engineering, pp. 73\u201373 (1995). https:\/\/doi.org\/10.1145\/225014.225021","DOI":"10.1145\/225014.225021"},{"issue":"3","key":"445_CR18","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1016\/j.compind.2003.10.005","volume":"53","author":"JE Cook","year":"2004","unstructured":"Cook, J.E., Du, Z., Liu, C., Wolf, A.L.: Discovering models of behavior for concurrent workflows. Comput. Ind. 53(3), 297\u2013319 (2004)","journal-title":"Comput. Ind."},{"key":"445_CR19","doi-asserted-by":"publisher","unstructured":"Agrawal, R., Gunopulos, D., Leymann, F.: Mining Process Models from Workflow Logs. In: Schek, H.J., Saltor, F., Ramos, I., Schek, H.J., Saltor, F., Ramos, I., Alonso, G., Alonso, G. (eds.) EDBT Lecture Notes in Computer Science, vol. 1377, pp. 469\u2013483. Springer, Berlin (1998). https:\/\/doi.org\/10.1007\/BFb0101003","DOI":"10.1007\/BFb0101003"},{"issue":"9","key":"445_CR20","doi-asserted-by":"publisher","first-page":"1128","DOI":"10.1109\/TKDE.2004.47","volume":"16","author":"W Aalst","year":"2004","unstructured":"Aalst, W., Weijters, T., Maruster, L.: Workflow mining: discovering process models from event logs. Knowledge and data engineering, ieee transactions on 16(9), 1128\u20131142 (2004)","journal-title":"Knowledge and data engineering, ieee transactions on"},{"key":"445_CR21","doi-asserted-by":"crossref","unstructured":"Wang, D., Ge, J., Hu, H., Luo, B.: A new process mining algorithm based on event type. In: Dependable, Autonomic and Secure Computing (DASC), 2011 IEEE Ninth international conference on, pp. 1144\u20131151 (2011). IEEE","DOI":"10.1109\/DASC.2011.186"},{"key":"445_CR22","doi-asserted-by":"publisher","unstructured":"Wen, L., Wang, J., Sun, J.: Detecting implicit dependencies between tasks from event logs. In: Proceedings of the 8th Asia-Pacific Web conference on frontiers of WWW research and development. APWeb\u201906, pp. 591\u2013603. Springer, Berlin, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11610113_52","DOI":"10.1007\/11610113_52"},{"issue":"15","key":"445_CR23","doi-asserted-by":"publisher","first-page":"11970","DOI":"10.1016\/j.eswa.2012.03.064","volume":"39","author":"D Wang","year":"2012","unstructured":"Wang, D., Ge, J., Hu, H., Luo, B., Huang, L.: Discovering process models from event multiset. Expert Syst. Appl. 39(15), 11970\u201311978 (2012)","journal-title":"Expert Syst. Appl."},{"key":"445_CR24","doi-asserted-by":"publisher","unstructured":"Aalst, W.M.P.: Process mining: discovery, conformance and enhancement of business Processes, 1st edn. Springer, Berlin (2011). https:\/\/doi.org\/10.1007\/978-3-642-19345-3","DOI":"10.1007\/978-3-642-19345-3"},{"issue":"4","key":"445_CR25","doi-asserted-by":"publisher","first-page":"686","DOI":"10.1109\/TKDE.2018.2841877","volume":"31","author":"A Augusto","year":"2019","unstructured":"Augusto, A., Conforti, R., Dumas, M., Rosa, M.L., Maggi, F.M., Marrella, A., Mecella, M., Soo, A.: Automated discovery of process models from event logs: review and benchmark. IEEE Trans. Knowl. Data Eng. 31(4), 686\u2013705 (2019). https:\/\/doi.org\/10.1109\/TKDE.2018.2841877","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"445_CR26","doi-asserted-by":"publisher","unstructured":"Santos Garcia, C., Meincheim, A., Faria Junior, E.R., Dallagassa, M.R., Sato, D.M.V., Carvalho, D.R., Santos, E.A.P., Scalabrin, E.E.: Process mining techniques and applications\u2014a systematic mapping study. Expert Syst. Appl. 133, 260\u2013295 (2019). https:\/\/doi.org\/10.1016\/j.eswa.2019.05.003","DOI":"10.1016\/j.eswa.2019.05.003"},{"key":"445_CR27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49851-4","volume-title":"Process mining","author":"W Aalst","year":"2016","unstructured":"Aalst, W.: Process mining. Data science in action. Springer, Berlin (2016)"},{"key":"445_CR28","doi-asserted-by":"publisher","unstructured":"Aalst, J.C.: Process Mining Handbook. Lecture Notes in Business Information Processing, vol. 448, 1st edn. Springer, Berlin (2022). https:\/\/doi.org\/10.1007\/978-3-031-08848-3","DOI":"10.1007\/978-3-031-08848-3"},{"key":"445_CR29","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/TASE.2015.2445332","volume":"99","author":"AP Estrada-Vargas","year":"2015","unstructured":"Estrada-Vargas, A.P., L\u00f3pez-Mellado, E., Lesage, J.J.: A black-box identification method for automated discrete-event systems. IEEE Trans. Autom. Sci. Eng. 99, 1\u201316 (2015). https:\/\/doi.org\/10.1109\/TASE.2015.2445332","journal-title":"IEEE Trans. Autom. Sci. Eng."},{"key":"445_CR30","doi-asserted-by":"publisher","unstructured":"Tapia-Flores, T., L\u00f3pez-Mellado, E., Estrada-Vargas, A.P., Lesage, J.J.: Petri net discovery of discrete event processes by computing t-invariants. In: Emerging technology and factory automation (ETFA), 2014 IEEE, pp. 1\u20138 (2014). https:\/\/doi.org\/10.1109\/ETFA.2014.7005080","DOI":"10.1109\/ETFA.2014.7005080"},{"key":"445_CR31","doi-asserted-by":"crossref","unstructured":"Tapia-Flores, T., L\u00f3pez-Mellado, E.: Inferring the repetitive behaviour from event logs for process mining discovery. In: Prasath, R., Gelbukh, A. (eds.) Min. Intell. Knowl. Explorat., pp. 164\u2013173. Springer, Cham (2017)","DOI":"10.1007\/978-3-319-58130-9_16"},{"issue":"2","key":"445_CR32","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/s10618-007-0065-y","volume":"15","author":"L Wen","year":"2007","unstructured":"Wen, L., Aalst, W.M.P., Wang, J., Sun, J.: Mining process models with non-free-choice constructs. Data Min. Knowl. Disc. 15(2), 145\u2013180 (2007). https:\/\/doi.org\/10.1007\/s10618-007-0065-y","journal-title":"Data Min. Knowl. Disc."},{"issue":"4","key":"445_CR33","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1145\/1530873.1530881","volume":"36","author":"NJ Dingle","year":"2009","unstructured":"Dingle, N.J., Knottenbelt, W.J., Suto, T.: Pipe2: a tool for the performance evaluation of generalised stochastic petri nets. SIGMETRICS Perform. Eval. Rev. 36(4), 34\u201339 (2009). https:\/\/doi.org\/10.1145\/1530873.1530881","journal-title":"SIGMETRICS Perform. Eval. Rev."},{"key":"445_CR34","doi-asserted-by":"publisher","unstructured":"Leemans, S.J.J., Fahland, D., Aalst, W.M.P.: In: Colom, J.-M., Desel, J. (eds.) Discovering Block-Structured Process Models from Event Logs - A Constructive Approach, pp. 311\u2013329. Springer, Berlin, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-38697-8_17","DOI":"10.1007\/978-3-642-38697-8_17"},{"issue":"01","key":"445_CR35","doi-asserted-by":"publisher","first-page":"1440001","DOI":"10.1142\/S0218843014400012","volume":"23","author":"JCAM Buijs","year":"2014","unstructured":"Buijs, J.C.A.M., Dongen, B.F., Aalst, W.M.P.: Quality dimensions in process discovery: the importance of fitness, precision, generalization and simplicity. Int. J. Cooper. Inf. Syst. 23(01), 1440001 (2014). https:\/\/doi.org\/10.1142\/S0218843014400012","journal-title":"Int. J. Cooper. Inf. Syst."}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-023-00445-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00236-023-00445-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-023-00445-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,28]],"date-time":"2024-10-28T02:09:56Z","timestamp":1730081396000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00236-023-00445-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,9,14]]},"references-count":35,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2024,3]]}},"alternative-id":["445"],"URL":"https:\/\/doi.org\/10.1007\/s00236-023-00445-5","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"type":"print","value":"0001-5903"},{"type":"electronic","value":"1432-0525"}],"subject":[],"published":{"date-parts":[[2023,9,14]]},"assertion":[{"value":"22 August 2022","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 August 2023","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"14 September 2023","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare that they have no conflict of interest financial or non-financial with any person or organisation.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}]}}