{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,30]],"date-time":"2026-03-30T12:15:31Z","timestamp":1774872931264,"version":"3.50.1"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032176172","type":"print"},{"value":"9783032176189","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/2.zoppoz.workers.dev:443\/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":[[2026]]},"DOI":"10.1007\/978-3-032-17618-9_34","type":"book-chapter","created":{"date-parts":[[2026,3,30]],"date-time":"2026-03-30T11:07:29Z","timestamp":1774868849000},"page":"506-524","update-policy":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Leveraging Meta-Properties of\u00a0Petri Net Classes to\u00a0Efficiently Enforce Formal Guarantees in\u00a0Bottom-Up Process Discovery"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/2.zoppoz.workers.dev:443\/https\/orcid.org\/0000-0002-8997-7517","authenticated-orcid":false,"given":"Marco","family":"Pegoraro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/2.zoppoz.workers.dev:443\/https\/orcid.org\/0000-0001-6158-356X","authenticated-orcid":false,"given":"Lisa Luise","family":"Mannel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2026,3,30]]},"reference":[{"key":"34_CR1","unstructured":"van\u00a0der Aalst, W.M.P.: Structural characterizations of sound workflow nets. Comput. Sci. R. 9623 (1996). https:\/\/2.zoppoz.workers.dev:443\/https\/research.tue.nl\/files\/2454992\/9712195.pdf"},{"key":"34_CR2","doi-asserted-by":"publisher","unstructured":"van\u00a0der Aalst, W.M.P.: Verification of workflow nets. In: Az\u00e9ma, P., Balbo, G. (eds.) Application and Theory of Petri Nets 1997, 18th International Conference, ICATPN \u201997, Toulouse, France, June 23-27, 1997, Proceedings. Lecture Notes in Computer Science, vol.\u00a01248, pp. 407\u2013426. Springer (1997). https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1007\/3-540-63139-9_48","DOI":"10.1007\/3-540-63139-9_48"},{"key":"34_CR3","doi-asserted-by":"publisher","unstructured":"van\u00a0der Aalst, W.M.P.: Discovering the \u201cglue\" connecting activities - exploiting monotonicity to learn places faster. In: de\u00a0Boer, F.S., Bonsangue, M.M., Rutten, J. (eds.) It\u2019s All About Coordination - Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab. Lecture Notes in Computer Science, vol. 10865, pp. 1\u201320. Springer (2018). https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1007\/978-3-319-90089-6_1","DOI":"10.1007\/978-3-319-90089-6_1"},{"key":"34_CR4","doi-asserted-by":"publisher","unstructured":"van\u00a0der Aalst, W.M.P.: Foundations of process discovery. In: van\u00a0der Aalst, W.M.P., Carmona, J. (eds.) Process Mining Handbook, Lecture Notes in Business Information Processing, vol.\u00a0448, pp. 37\u201375. Springer (2022). https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1007\/978-3-031-08848-3_2","DOI":"10.1007\/978-3-031-08848-3_2"},{"issue":"3","key":"34_CR5","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/J.COMPIND.2003.10.001","volume":"53","author":"WMP van der Aalst","year":"2004","unstructured":"van der Aalst, W.M.P., Weijters, A.J.M.M.: Process mining: a research agenda. Comput. Ind. 53(3), 231\u2013244 (2004). https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1016\/J.COMPIND.2003.10.001","journal-title":"Comput. Ind."},{"issue":"9","key":"34_CR6","doi-asserted-by":"publisher","first-page":"1128","DOI":"10.1109\/TKDE.2004.47","volume":"16","author":"WMP van der Aalst","year":"2004","unstructured":"van der Aalst, W.M.P., Weijters, T., Maruster, L.: Workflow mining: Discovering process models from event logs. IEEE Trans. Knowl. Data Eng. 16(9), 1128\u20131142 (2004). https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1109\/TKDE.2004.47","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"34_CR7","doi-asserted-by":"publisher","unstructured":"Augusto, A., Carmona, J., Verbeek, E.: Advanced process discovery techniques. In: van\u00a0der Aalst, W.M.P., Carmona, J. (eds.) Process Mining Handbook, Lecture Notes in Business Information Processing, vol.\u00a0448, pp. 76\u2013107. Springer (2022). https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1007\/978-3-031-08848-3_3","DOI":"10.1007\/978-3-031-08848-3_3"},{"key":"34_CR8","doi-asserted-by":"publisher","unstructured":"Brauer, W., Reisig, W., Rozenberg, G. (eds.): Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, Part I, Proceedings of an Advanced Course, Bad Honnef, Germany, 8-19 September 1986, Lecture Notes in Computer Science, vol.\u00a0254. Springer (1987). https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1007\/978-3-540-47919-2","DOI":"10.1007\/978-3-540-47919-2"},{"issue":"5","key":"34_CR9","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1016\/S0022-0000(71)80013-2","volume":"5","author":"FG Commoner","year":"1971","unstructured":"Commoner, F.G., Holt, A.W., Even, S., Pnueli, A.: Marked directed graphs. J. Comput. Syst. Sci. 5(5), 511\u2013523 (1971). https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1016\/S0022-0000(71)80013-2","journal-title":"J. Comput. Syst. Sci."},{"key":"34_CR10","doi-asserted-by":"publisher","unstructured":"Cook, J.E., Wolf, A.L.: Automating process discovery through event-data analysis. In: Proceedings of the 17th International Conference on Software Engineering. pp. 73\u201382. ICSE \u201995, Association for Computing Machinery, New York, NY, USA (1995). https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1145\/225014.225021","DOI":"10.1145\/225014.225021"},{"key":"34_CR11","doi-asserted-by":"publisher","unstructured":"Desel, J., Esparza, J.: Free Choice Petri Nets. Cambridge Tracts in Theoretical Computer Science, Cambridge University Press (1995). https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1017\/CBO9780511526558","DOI":"10.1017\/CBO9780511526558"},{"key":"34_CR12","doi-asserted-by":"publisher","unstructured":"Folz-Weinstein, S., Rennert, C., Mannel, L.L., Bergenthum, R., van\u00a0der Aalst, W.M.P.: eST$$ ^{\\text{2}}$$ miner - process discovery based on firing partial orders. In: Krogstie, J., Rinderle-Ma, S., Kappel, G., Proper, H.A. (eds.) Advanced Information Systems Engineering - 37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025, Proceedings, Part II. Lecture Notes in Computer Science, vol. 15702, pp. 59\u201375. Springer (2025). https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1007\/978-3-031-94571-7_4","DOI":"10.1007\/978-3-031-94571-7_4"},{"key":"34_CR13","unstructured":"Hack, M.H.T.: Extended state-machine allocatable nets (ESMA), an extension of free choice Petri net results. Computation Structures Group Memo\u00a078-1, Massachusetts Institute of Technology, Project MAC, Computation Structures Group, Cambridge, MA, USA (1974). https:\/\/2.zoppoz.workers.dev:443\/https\/csg.csail.mit.edu\/pubs\/publications.html, revised from Computation Structures Group Memo 78 (1973)"},{"key":"34_CR14","unstructured":"Hack, M.H.T.: Analysis of production schemata by Petri nets. Master\u2019s thesis, Massachusetts Institute of Technology, Cambridge, Massachusetts (1972)"},{"key":"34_CR15","doi-asserted-by":"publisher","unstructured":"Holt, A.W., Commoner, F.G.: Events and conditions: state machines and information. In: Dennis, J.B. (ed.) Record of the Project MAC Conference on Concurrent Systems and Parallel Computation, Woods Hole, Massachusetts, USA, June 2\u20135, 1970. pp. 33\u201352. ACM (1970). https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1145\/1344551.1344556","DOI":"10.1145\/1344551.1344556"},{"key":"34_CR16","doi-asserted-by":"publisher","unstructured":"King, V., Sagert, G.: A fully dynamic algorithm for maintaining the transitive closure. In: Vitter, J.S., Larmore, L.L., Leighton, F.T. (eds.) Proceedings of the Thirty-First Annual ACM Symposium on Theory of Computing, May 1\u20134, 1999, Atlanta, Georgia, USA. pp. 492\u2013498. ACM (1999). https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1145\/301250.301380","DOI":"10.1145\/301250.301380"},{"key":"34_CR17","doi-asserted-by":"publisher","unstructured":"Mannel, L.L., van\u00a0der Aalst, W.M.P.: Finding complex process-structures by exploiting the token-game. In: Donatelli, S., Haar, S. (eds.) Application and Theory of Petri Nets and Concurrency - 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23\u201328, 2019, Proceedings. Lecture Notes in Computer Science, vol. 11522, pp. 258\u2013278. Springer (2019). https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1007\/978-3-030-21571-2_15","DOI":"10.1007\/978-3-030-21571-2_15"},{"key":"34_CR18","doi-asserted-by":"publisher","unstructured":"Mannel, L.L., van\u00a0der Aalst, W.M.P.: Finding uniwired petri nets using eST-miner. In: Francescomarino, C.D., Dijkman, R.M., Zdun, U. (eds.) Business Process Management Workshops - BPM 2019 International Workshops, Vienna, Austria, September 1\u20136, 2019, Revised Selected Papers. Lecture Notes in Business Information Processing, vol.\u00a0362, pp. 224\u2013237. Springer (2019). https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1007\/978-3-030-37453-2_19","DOI":"10.1007\/978-3-030-37453-2_19"},{"key":"34_CR19","unstructured":"Mannel, L.L., Bergenthum, R., van\u00a0der Aalst, W.M.P.: Removing implicit places using regions for process discovery. In: van\u00a0der Aalst, W.M.P., Bergenthum, R., Carmona, J. (eds.) Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2020 Satellite event of the 41st International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2020, virtual workshop, June 24, 2020. CEUR Workshop Proceedings, vol.\u00a02625, pp. 20\u201332. CEUR-WS.org (2020). https:\/\/2.zoppoz.workers.dev:443\/https\/ceur-ws.org\/Vol-2625\/paper-02.pdf"},{"key":"34_CR20","doi-asserted-by":"publisher","unstructured":"Mannel, L.L., Epstein, Y., van\u00a0der Aalst, W.M.P.: Improving the state-space traversal of the eST-miner by exploiting underlying log structures. In: del-R\u00edo-Ortega, A., Leopold, H., Santoro, F.M. (eds.) Business Process Management Workshops - BPM 2020 International Workshops, Seville, Spain, September 13\u201318, 2020, Revised Selected Papers. Lecture Notes in Business Information Processing, vol.\u00a0397, pp. 334\u2013347. Springer (2020). https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1007\/978-3-030-66498-5_25","DOI":"10.1007\/978-3-030-66498-5_25"},{"issue":"4","key":"34_CR21","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata, T.: Petri nets: Properties, analysis and applications. Proc. IEEE 77(4), 541\u2013580 (1989). https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1109\/5.24143","journal-title":"Proc. IEEE"}],"container-title":["Lecture Notes in Computer Science","Mining a Scientist's Process"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-17618-9_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,30]],"date-time":"2026-03-30T11:07:31Z","timestamp":1774868851000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/link.springer.com\/10.1007\/978-3-032-17618-9_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032176172","9783032176189"],"references-count":21,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1007\/978-3-032-17618-9_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"30 March 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}