Process mining meets abstract interpretation

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

Volumn 6321 LNAI, Issue PART 1, 2010, Pages 184-199

  Carmona, J ^a   Cortadella, J ^a  

^a UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACT INTERPRETATIONS; FORMAL MODEL; IS PROCESS; PROCESS MINING; PROCESS MODEL;

DATA MINING; LEARNING SYSTEMS; PETRI NETS;

ABSTRACTING;

EID: 78049338778     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-15880-3_18     Document Type: Conference Paper

References (22)

1. ALGLIB library, http://www.alglib.net
2. Example log, http://www.lsi.upc.edu/jcarmona/prodcons1000.tr
3. Process mining, http://www.processmining.org
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. Carmona, J., Cortadella, J., Kishinevsky, M.: New region-based algorithms for deriving bounded Petri nets. IEEE Transactions on Computers 59(3), 371-384 (2009)
6. Clarisó, R., Rodríguez-Carbonell, E., Cortadella, J.: Derivation of non-structural invariants of petri nets using abstract interpretation. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol. 3536, pp. 188-207. Springer, Heidelberg (2005)
7. Cousot, P., Cousot, R.: Static determination of dynamic properties of programs. In: Proc. of the 2nd Int. Symposium on Programming, Dunod, Paris, France, pp. 106-130 (1976)
8. Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Proc. ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, pp. 238-252. ACM Press, New York (1977)
9. Cousot, P., Halbwachs, N.: Automatic discovery of linear restraints among variables of a program. In: Proc. ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, pp. 84-97. ACM Press, New York (1978)
10. Ehrenfeucht, A., Rozenberg, G.: Partial (Set) 2-Structures. Part I, II. Acta Informatica 27, 315-368 (1990)
11. Jeannet, B., Miné, A.: Apron: A library of numerical abstract domains for static analysis. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol. 5643, pp. 661-667. Springer, Heidelberg (2009)
12. Jolliffe, I. T.: Principal Component Analysis. Springer, Heidelberg (2002)
13. Miné, A.: The octagon abstract domain. In: Analysis, Slicing and Tranformation (in Working Conference on Reverse Engineering), pp. 310-319. IEEE, IEEE CS Press (October 2001)
14. Murata, T.: Petri Nets: Properties, analysis and applications. Proceedings of the IEEE, 541-580 (April 1989)
15. Rozinat, A., van der Aalst, W. M. P.: Conformance checking of processes based on monitoring real behavior. Inf. Syst. 33(1), 64-95 (2008)
16. Silva, M., Teruel, E., Colom, J. M.: Linear algebraic and linear programming techniques for the analysis of place or transition net systems. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol. 1491, pp. 309-373. Springer, Heidelberg (1998)
17. van der Aalst, W. M. P., Günther, C. W.: Finding structure in unstructured processes: The case for process mining. In: Basten, T., Juhás, G., Shukla, S. K. (eds.) ACSD, pp. 3-12. IEEE Computer Society, Los Alamitos (2007)
18. van der Aalst, W. M. P., Rubin, V., Verbeek, H. M. W. E., van Dongen, B. F., Kindler, E., Günther, C. W.: Process mining: a two-step approach to balance between underfitting and overfitting. In: Software and Systems Modeling (2009)
19. 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)
20. 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)
21. Weijters, A., van der Aalst, W., de Medeiros, A. A.: Process mining with the heuristics miner-algorithm. Technical Report WP 166, BETA Working Paper Series, Eindhoven University of Technology (2006)
22. Wen, L., van der Aalst, W. M. P., Wang, J., Sun, J.: Mining process models with non-free-choice constructs. Data Min. Knowl. Discov. 15(2), 145-180 (2007)