A general framework for precision checking

International Journal of Innovative Computing, Information and Control

Volumn 8, Issue 7 B, 2012, Pages 5317-5339

  Munoz Gama, Jorge ^a   Carmona, Josep ^a  

^a UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

Author keywords

Business process management; Conformance checking; Process mining

Indexed keywords

BINARY LINEAR PROGRAMMING; BUSINESS PROCESS MANAGEMENT; CONFORMANCE CHECKING; FORMAL MODEL; METRIC VALUES; OPEN-SOURCE; PROCESS MINING;

COMPUTER PROGRAMMING; ENTERPRISE RESOURCE MANAGEMENT;

DATA MINING;

EID: 84862331684     PISSN: 13494198     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (30)

1. W. M. P. van der Aalst, Process Mining: Discovery, Conformance and Enhancement of Business Processes, Springer, 2011.
2. A. Rozinat, A. K. A. de Medeiros, C. W. Gunther, A. J. M. M. Weijters and W. M. P. van der Aalst, Towards an evaluation framework for process mining algorithms, BPM Center Report BPM-07-06, BPMcenter. org, 2007.
3. T. Murata, Petri nets: Properties, analysis and applications, Proc. of the IEEE, vol.77, no.4, pp.541-580, 1989.
4. A. H. M. ter Hofstede, W. M. P. van der Aalst and M. Adams, Modern Business Process Automation:YAWL and Its Support Environment, Springer-Verlag, New York Inc, 2009.
5. G. Keller, M. Nüttgens and A. Scheer, Semantische prozeBmodellierung auf der basis ereignisges-teuerter prozeßketten, Veröffentlichungen des Instituts für Wirtschaftsinformatik, vol.89, 1992.
6. S. White and D. Miers, BPMN Modeling and Reference Guide: Understanding and Using BPMN, Future Strategies Inc, 2008.
7. W. M. P. van der Aalst, B. F. van Dongen, J. Herbst, L. Maruster, G. Schimm and A. J. M. M. Weijters, Workflow mining: A survey of issues and approaches, Data Knowl. Eng., vol.47, no.2, pp.237-267, 2003.
8. A. Rozinat and W. M. P. van der Aalst, Conformance checking of processes based on monitoring real behavior, Information Systems, vol.33, no.1, pp.64-95, 2008.
9. J. Munoz-Gama and J. Carmona, A fresh look at precision in process conformance, Business Process Management, LNCS, pp.211-226, 2010.
10. J. Munoz-Gama and J. Carmona, Enhancing precision in process conformance: Stability, confidence and severity, IEEE Symposium Series in Computational Intelligence 2011, Paris, France, 2011.
11. A. Arnold, Finite Transition Systems, Prentice Hall, 1994.
12. B. F. van Dongen, A. K. A. de Medeiros and L. Wen, Process mining: Overview and outlook of petri net discovery algorithms, T. Petri Nets and Other Models of Concurrency, vol.2, pp.225-242, 2009.
13. N. Russell, A. H. M. ter Hofstede, W. M. P. van der Aalst and N. Mulyar, Workflow control-flow patterns: A revised view, Tech. Rep., BPM Center Report, BPMcenter. org, 2006.
14. C. Dufourd, A. Finkel and P. Schnoebelen, Reset nets between decidability and undecidability, ICALP. LNCS, vol.1443, pp.103-115, 1998.
15. M. Dumas, A. Großkopf, T. Hettel and M. T. Wynn, Semantics of standard process models with OR-joins, OTM Conferences, LNCS, vol.4803, pp.41-58, 2007.
16. E. Kindler, On the semantics of EPCs: Resolving the vicious circle, Data Knowl. Eng., vol.56, no.1, pp.23-40, 2006.
17. A. K. A. de Medeiros, Genetic Process Mining, Ph.D. Thesis, Technische Universiteit Eindhoven, 2006.
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. Adriansyah, N. Sidorova and B. van Dongen, Cost-based fitness in conformance checking, Application of Concurrency to System Design Conference, Kanazawa, Japan, 2011.
20. T. H. Cormen, C. Stein, R. L. Rivest and C. E. Leiserson, Introduction to Algorithms, McGraw-Hill Higher Education, 2001.
21. A. Schrijver, Theory of Linear and Integer Programming, Wiley, 1998.
22. B. Karrer, E. Levina and M. E. J. Newman, Robustness of community structure in networks, Phys. Rev. E, vol.77, no.4, p.046119, 2008.
23. G. E. P. Box, W. G. Hunter and J. S. Hunter, Statistics for Experimenters: An Introduction to Design, Data Analysis, and Model Building, Wiley, New York, 1978.
24. J. M. E. M. van der Werf, B. F. van Dongen, C. A. J. Hurkens and A. Serebrenik, Process discovery using integer linear programming, Petri Nets, LNCS, vol.5062, pp.368-387, 2008.
25. A. Burattin and A. Sperduti, PLG: A framework for the generation of business process models and their execution logs, Business Process Intelligence (BPI), 2010.
26. M. Sole and J. Carmona, Process mining from a basis of state regions, Petri Nets, vol.6128, pp.226-245, 2010.
27. J. Carmona, J. Cortadella and M. Kishinevsky, Genet: A tool for the synthesis and mining of petri nets (tool paper), Proc. of the 2009 Application of Concurrency to System Design Conference, Augsburg, Germany, pp.181-185, 2009.
28. B. F. van Dongen, J. Mendling and W. M. P. van der Aalst, Structural patterns for soundness of business process models, EDOC, pp.116-128, 2006.
29. T. Calders, C. W. Gunther, M. Pechenizkiy and A. Rozinat, Using minimum description length for process mining, in SAC, S. Y. Shin and S. Ossowski (eds.), ACM, 2009.
30. J. D. Weerdt, M. D. Backer, J. Vanthienen and B. Baesens, A critical evaluation study of model-log metrics in process discovery, Business Process Intelligence, 2010.