Process Mining Meets Abstract Interpretation
Abstract
The discovery of process models out of system traces is a problem that has received significant attention in the last years. In this work, a theory for the derivation of a Petri net from a set of traces is presented. The method is based on the theory of abstract interpretation, which has been applied successfully in other areas. The principal application of this theory is Process Mining, an area that tries to incorporate the use of formal models both in the design and use of information systems.
Cite
Text
Carmona and Cortadella. "Process Mining Meets Abstract Interpretation." European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, 2010. doi:10.1007/978-3-642-15880-3_18Markdown
[Carmona and Cortadella. "Process Mining Meets Abstract Interpretation." European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, 2010.](https://mlanthology.org/ecmlpkdd/2010/carmona2010ecmlpkdd-process/) doi:10.1007/978-3-642-15880-3_18BibTeX
@inproceedings{carmona2010ecmlpkdd-process,
title = {{Process Mining Meets Abstract Interpretation}},
author = {Carmona, Josep and Cortadella, Jordi},
booktitle = {European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases},
year = {2010},
pages = {184-199},
doi = {10.1007/978-3-642-15880-3_18},
url = {https://mlanthology.org/ecmlpkdd/2010/carmona2010ecmlpkdd-process/}
}