A high-level strategy for C-net discovery

Proceedings - International Conference on Application of Concurrency to System Design, ACSD

Volumn , Issue , 2012, Pages 102-111

  Sole, Marc ^a   Carmona, Josep ^a  

^a UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

Author keywords

Causal nets; Clustering; High level strategy; Process discovery

Indexed keywords

CAUSAL NETS; CLUSTERING; CLUSTERING TECHNIQUES; COMPACT REPRESENTATION; COMPLEX PROBLEMS; DECLARATIVE SEMANTICS; HIGH-LEVEL STRATEGY; PROCESS DISCOVERY; PROCESS MINING;

SEMANTICS; SYSTEMS ANALYSIS;

ALGORITHMS;

EID: 84866900172     PISSN: 15504808     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ACSD.2012.20     Document Type: Conference Paper

References (23)

1. W. M. P. van der Aalst, Process Mining - Discovery, Conformance and Enhancement of Business Processes. Springer, 2011.
2. A. Rozinat and W. M. P. van der Aalst, "Conformance checking of processes based on monitoring real behavior," Information and Systems, vol. 33, no. 1, pp. 64-95, 2008.
3. W. M. P. van der Aalst and C. W. Günther, "Finding structure in unstructured processes: The case for process mining," in ACSD, T. Basten, G. Juhás, and S. K. Shukla, Eds. IEEE Computer Society, 2007, pp. 3-12.
4. W. M. P. van der Aalst, T. Weijters, and L. Maruster, "Workflow mining: Discovering process models from event logs," IEEE TKDE, vol. 16, no. 9, pp. 1128-1142, 2004.
5. R. Bergenthum, J. Desel, R. Lorenz, and S. Mauser, "Process mining based on regions of languages," in Business Process Management, Sep. 2007, pp. 375-383.
6. J. M. E. M. van der Werf, B. F. van Dongen, C. A. J. Hurkens, and A. Serebrenik, "Process discovery using integer linear programming," in Petri Nets, ser. LNCS, vol. 5062, 2008, pp. 368-387.
7. J. Carmona, J. Cortadella, and M. Kishinevsky, "New region-based algorithms for deriving bounded Petri nets," IEEE Trans. Computers, vol. 59, no. 3, pp. 371-384, 2010.
8. M. Solé and J. Carmona, "Process mining from a basis of state regions," in Petri Nets, ser. LNCS, vol. 6128, 2010, pp. 226-245.
9. W. van der Aalst, A. Adriansyah, and B. van Dongen, "Causal nets: a modeling language tailored towards process discovery," in CONCUR, 2011, pp. 28-42.
10. A. J. M. M. Weijters and J. T. S. Ribeiro, "Flexible heuristics miner (FHM)," in CIDM. IEEE, 2011, pp. 310-317.
11. M. Solé and J. Carmona, "An SMT-based discovery algorithm for C-nets," in ATPN (in press). Tech. rep. LSI-12-2-R, 2012. [Online]. Available: http://www.lsi.upc.edu/dept/techreps/techreps.html
12. -, "Incremental process mining," T. Petri Nets and Other Models of Concurrency, vol. 5, pp. 221-242, 2012.
13. S. Jha, R. Limaye, and S. Seshia, "Beaver: Engineering an efficient SMT solver for bit-vector arithmetic," in Computer Aided Verification, 2009, pp. 668-674.
14. T. Murata, "Petri Nets: Properties, analysis and applications," Proceedings of the IEEE, pp. 541-580, Apr. 1989.
15. L. Maruster, A. J. M. M. Weijters, W. M. P. van der Aalst, and A. van den Bosch, "A rule-based approach for process discovery: Dealing with noise and imbalance in process logs," Data Min. Knowl. Discov., vol. 13, no. 1, pp. 67-87, 2006.
16. A. Adriansyah, B. van Dongen, and W. van der Aalst, "Conformance checking using cost-based fitness analysis," in Enterprise Distributed Object Computing Conference (EDOC), 2011, pp. 55-64.
17. J. Munoz-Gama and J. Carmona, "A Fresh Look at Precision in Process Conformance," in Business Process Management (BPM), 2010.
18. G. Greco, A. Guzzo, L. Pontieri, and D. Saccà, "Discovering expressive process models by clustering log traces," IEEE Trans. Knowl. Data Eng., vol. 18, no. 8, pp. 1010-1027, 2006.
19. A. K. A. de Medeiros, A. Guzzo, G. Greco, W. M. P. van der Aalst, A. J. M. M. Weijters, B. F. van Dongen, and D. Saccà, "Process mining based on clustering: A quest for precision," in Business Process Management Workshops, ser. Lecture Notes in Computer Science, A. H. M. ter Hofstede, B. Benatallah, and H.-Y. Paik, Eds., vol. 4928. Springer, 2007, pp. 17-29.
20. M. Song, C. W. Günther, and W. M. P. van der Aalst, "Trace clustering in process mining," in Business Process Management Workshops, ser. Lecture Notes in Business Information Processing, D. Ardagna, M. Mecella, and J. Yang, Eds., vol. 17. Springer, 2008, pp. 109-120.
21. R. P. J. C. Bose and W. M. P. van der Aalst, "Context aware trace clustering: Towards improving process mining results," in Proceedings of the SIAM International Conference on Data Mining, SDM 2009, April 30 - May 2, 2009, Sparks, Nevada, USA. SIAM, 2009, pp. 401-412.
22. -, "Process diagnostics using trace alignment: Opportunities, issues, and challenges," Inf. Syst., vol. 37, no. 2, pp. 117-141, 2012.
23. J. Carmona, "Projection approaches to process mining using region-based techniques," Data Min. Knowl. Discov., vol. 24, no. 1, pp. 218-246, 2012.