Process mining from a basis of state regions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6128 LNCS, Issue , 2010, Pages 226-245

  Solé, Marc ^a   Carmona, Josep ^a  

^a UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

CENTRAL PROBLEMS; COMPLEX ALGORITHMS; FORMAL MODEL; NOVEL TECHNIQUES; ORDERS OF MAGNITUDE; PROCESS MINING; REAL-LIFE SYSTEMS; SPACE REQUIREMENTS; THEORY OF REGIONS; TOOL SUPPORT;

DATA MINING; GRAPH THEORY; INDUSTRIAL APPLICATIONS; PETRI NETS;

MATHEMATICAL MODELS;

EID: 77955344332     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-13675-7_14     Document Type: Conference Paper

References (18)

1. Desel, J., Reisig, W.: The synthesis problem of Petri nets. Acta Inf. 33(4), 297-315 (1996)
2. Ehrenfeucht, A., Rozenberg, G.: Partial (Set) 2-Structures. Part I, II. Acta Informatica 27, 315-368 (1990)
3. Badouel, E., Bernardinello, L., Darondeau, P.: Polynomial algorithms for the synthesis of bounded nets. In: Mosses, P.D., Schwartzbach, M.I., Nielsen, M. (eds.) CAAP 1995, FASE 1995, and TAPSOFT 1995. LNCS, vol. 915, pp. 364-383. Springer, Heidelberg (1995)
4. Bergenthum, R., Desel, J., Lorenz, R., Mauser, S.: Process mining based on regions of languages. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 375-383. Springer, Heidelberg (2007)
5. Cortadella, J., Kishinevsky, M., Lavagno, L., Yakovlev, A.: Deriving Petri nets from finite transition systems. IEEE Transactions on Computers 47(8), 859-882 (1998)
6. Carmona, J., Cortadella, J., Kishinevsky, M.: New region-based algorithms for deriving bounded Petri nets. IEEE Transactions on Computers 59(3) (2009)
7. van der Aalst, W., Rubin, V., Verbeek, H., van Dongen, B., Kindler, E., Günther, C.: Process mining: a two-step approach to balance between underfitting and over-fitting. Software and Systems Modeling (2009)
8. Carmona, J., Cortadella, J., Kishinevsky, M.: A region-based algorithm for discovering Petri nets from event logs. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol. 5240, pp. 358-373. Springer, Heidelberg (2008)
9. 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)
10. Solé, M.: rbminer, http://www.lsi.upc.edu/~jcarmona/rbminer/ rbminer.html
11. Solé, M., Carmona, J.: Process mining from a basis of state regions. Technical Report LSI-09-35-R, Software Dept., Universitat Politécnica de Catalunya (2009)
12. Murata, T.: Petri Nets: Properties, analysis and applications. Proceedings of the IEEE, 541-580 (April 1989)
13. Mukund, M.: Petri nets and step transition systems. Int. Journal of Foundations of Computer Science 3(4), 443-478 (1992)
14. Bernardinello, L., Michelis, G.D., Petruni, K., Vigna, S.: On the synchronic structure of transition systems. In: Desel, J. (ed.) Structures in Concurrency Theory, Proceedings of the International Workshop on Structures in Concurrency Theory (STRICT), Berlin, May 11-13, pp. 69-84 (1995)
15. Badouel, E., Darondeau, P.: Theory of regions. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol. 1491, pp. 529-586. Springer, Heidelberg (1998)
16. Kalman, D.: Basic null space calculations. The College Mathematics Journal 15(1), 42-47 (1984)
17. 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-1142 (2004)
18. Rozinat, A., van der Aalst, W.M.P.: Conformance checking of processes based on monitoring real behavior. Inf. Syst. 33(1), 64-95 (2008)