ILP-based process discovery using hybrid regions

CEUR Workshop Proceedings

Volumn 1371, Issue January, 2015, Pages 47-61

  Van Zelst, S J ^a   Van Dongen, B F ^a   Van Der Aalst, W M P ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

Integer Linear Programming; Process discovery; Process mining; Region theory

Indexed keywords

COMPUTATIONAL LINGUISTICS; PETRI NETS;

ILP FORMULATION; INTEGER LINEAR PROGRAMMING; OBJECTIVE FUNCTIONS; PROCESS DISCOVERY; PROCESS MINING; PROCESS MODELING; REGION THEORY; THEORY OF REGIONS;

INTEGER PROGRAMMING;

EID: 84937703090     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (16)

1. Aalst, W. M. P.v. d.: Process Mining: Discovery, Conformance and Enhancement of Business Processes. 1st edn. Springer Publishing Company, Incorporated (2011)
2. Desel, J., Reisig, W.: The synthesis problem of Petri nets. Acta Inf. 33 (4) (1996) 297-315
3. Werf, J. M. E. M.v. d., Dongen, B. F.v., Hurkens, C. A. J., Serebrenik, A.: Process discovery using integer linear programming. Fundamenta Informaticae 94 (3) (2009) 387-412
4. Buijs, J. C. A. M., Dongen, B. F.v., Aalst, W. M. P.v. d.: On the role of fitness, precision, generalization and simplicity in process discovery. In Meersman, R., Panetto, H., Dillon, T., Rinderle-Ma, S., Dadam, P., Zhou, X., Pearson, S., Ferscha, A., Bergamaschi, S., Cruz, I. F., eds.: On the Move to Meaningful Internet Systems: OTM 2012. Volume 7565 of Lecture Notes in Computer Science. Springer Berlin Heidelberg (2012) 305-322
5. Aalst, W. M. P.v. d., Hofstede, A. H. M.t., Kiepuszewski, B., Barros, A.: Workflow patterns. Distributed and Parallel Databases 14 (1) (2003) 5-51
6. Dongen, B. F.v., Medeiros, A. K. A.d., Wen, L.: Process mining: Overview and outlook of Petri net discovery algorithms. T. Petri Nets and Other Models of Concurrency 2 (2009) 225-242
7. Dongen, B. F.v., Medeiros, A. K. A.d., Verbeek, H. M. W., Weijters, A. J. M. M., Aalst, W. M. P.v. d.: The ProM framework: A new era in process mining tool support. In Ciardo, G., Darondeau, P., eds.: Applications and Theory of Petri Nets 2005. Volume 3536 of Lecture Notes in Computer Science. Springer Berlin Heidelberg (2005) 444-454
8. Badouel, E., Bernardinello, L., Darondeau, P.: Polynomial algorithms for the synthesis of bounded nets. In Mosses, P. D., Nielsen, M., Schwartzbach, M. I., eds.: TAPSOFT'95: Theory and Practice of Software Development. Volume 915 of Lecture Notes in Computer Science. Springer Berlin Heidelberg (1995) 364-378
9. Badouel, E., Darondeau, P.: Theory of regions. In Reisig, W., Rozenberg, G., eds.: Lectures on Petri Nets I: Basic Models. Volume 1491 of Lecture Notes in Computer Science. Springer Berlin Heidelberg (1998) 529-586
10. Darondeau, P.: Deriving unbounded Petri nets from formal languages. In Sangiorgi, D., Simone, R.d., eds.: CONCUR'98 Concurrency Theory. Volume 1466 of Lecture Notes in Computer Science. Springer Berlin Heidelberg (1998) 533-548
11. Bergenthum, R., Desel, J., Lorenz, R., Mauser, S.: Process mining based on regions of languages. In Alonso, G., Dadam, P., Rosemann, M., eds.: Business Process Management. Volume 4714 of Lecture Notes in Computer Science. Springer Berlin Heidelberg (2007) 375-383
12. Lorenz, R., Mauser, S., Juhas, G.: How to synthesize nets from languages - a survey. In: Simulation Conference, 2007 Winter. (Dec. 2007) 637-647
13. Solé, M., Carmona, J.: Process mining from a basis of state regions. In: Applications and Theory of Petri Nets, 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings. (2010) 226-245
14. Aalst, W. M. P.v. d., Rubin, V., Verbeek, H. M. W., Dongen, B. F.v., Kindler, E., Günther, C. W.: Process mining: a two-step approach to balance between underfitting and overfitting. Software and System Modeling 9 (1) (2010) 87-111
15. Carmona, J., Cortadella, J.: Process discovery algorithms using numerical abstract domains. IEEE Trans. Knowl. Data Eng. 26 (12) (2014) 3064-3076
16. Aalst, W. M. P.v. d.: Decomposing Petri nets for process mining: A generic approach. Distributed and Parallel Databases 31 (4) (2013) 471-507