Abstract
In process discovery, the goal is to find, for a given event log, the model describing the underlying process. While process models can be represented in a variety of ways, Petri nets form a theoretically well-explored description language. In this paper, we present an extension of the process discovery algorithm eST-Miner. This approach computes the maximal set of non-redundant places, that are considered to be fitting with respect to a user-definable fraction of the behavior described by the given event log, by evaluating all possible candidate places using token-based replay. The number of candidate places is exponential in the number of activities, and thus evaluating all of them by replay is very time-consuming. To increase efficiency, the eST-miner organizes these candidates in a special search structure, that allows to skip large chunks of the search space, while still returning all the fitting places. While this greatly increases its efficiency compared to the brute force approach evaluating all the candidates, the miner is still very slow compared to other approaches. In this paper, we explore two approaches to increase the fraction of skipped candidates and thus the efficiency of the eST-Miner. The impact of the presented concepts is evaluated by various experiments using both real and artificial event logs.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Note that \(\sum _{\sigma \in L_{}} f(\sigma )\) and \([ \sigma \in L_{} | f(\sigma ) ]\) operate on multisets, i.e., if the same trace \(\sigma \) appears multiple times in \(L_{}\), this is taken into account.
References
Wen, L., van der Aalst, W.M.P., Wang, J., Sun, J.: Mining process models with non-free-choice constructs. Data Mining Knowl. Disc. 15(2), 145–180 (2007)
Leemans, S., Fahland, D., van der Aalst, W.M.P.: Discovering block-structured process models from event logs - a constructive approach. In: Application and Theory of Petri Nets and Concurrency (2013)
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–284 (2018). https://doi.org/10.1007/s10115-018-1214-x
Badouel, E., Bernardinello, L., Darondeau, P.: Petri Net Synthesis. TTCSAES. Springer, Heidelberg (2015). https://doi.org/10.1007/978-3-662-47967-4
Lorenz, R., Mauser, S., Juhás, G.: How to synthesize nets from languages: a survey. In: Proceedings of the 39th Conference on Winter Simulation: 40 Years! The Best is Yet to Come, WSC 2007. IEEE Press (2007)
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.) PETRI NETS 2008. LNCS, vol. 5062, pp. 368–387. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-68746-7_24
Carmona, J., Cortadella, J., Kishinevsky, M.: A region-based algorithm for discovering petri nets from event logs. In: Business Process Management BPM (2008)
Mannel, L.L., van der Aalst, W.M.P.: Finding complex process-structures by exploiting the token-game. In: Donatelli, S., Haar, S. (eds.) PETRI NETS 2019. LNCS, vol. 11522, pp. 258–278. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-21571-2_15
van der Aalst, W.M.P.: Discovering the “glue” connecting activities - exploiting monotonicity to learn places faster. In: It’s All About Coordination - Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab (2018)
Mannhardt, F.: Sepsis cases - event log (2016)
De Leoni, M., Mannhardt, F.: Road traffic fine management process (2015)
van der Aalst, W.M.P.: Process Mining: Data Science in Action. Springer, Heidelberg (2016). https://doi.org/10.1007/978-3-662-49851-4
Munoz-Gama, J., Carmona, J.: A fresh look at precision in process conformance. In: BPM (2010)
Mannel, L.L., van der Aalst, W.M.P.: Finding uniwired Petri Nets using eST-miner. In: Di Francescomarino, C., Dijkman, R., Zdun, U. (eds.) BPM 2019. LNBIP, vol. 362, pp. 224–237. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-37453-2_19
Acknowledgments
We thank the Alexander von Humboldt (AvH) Stiftung for supporting our research.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Mannel, L.L., Epstein, Y., van der Aalst, W.M.P. (2020). Improving the State-Space Traversal of the eST-Miner by Exploiting Underlying Log Structures. In: Del Río Ortega, A., Leopold, H., Santoro, F.M. (eds) Business Process Management Workshops. BPM 2020. Lecture Notes in Business Information Processing, vol 397. Springer, Cham. https://doi.org/10.1007/978-3-030-66498-5_25
Download citation
DOI: https://doi.org/10.1007/978-3-030-66498-5_25
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-66497-8
Online ISBN: 978-3-030-66498-5
eBook Packages: Computer ScienceComputer Science (R0)