Process Mining Meets Abstract Interpretation

10 years 2 months ago
Process Mining Meets Abstract Interpretation
Mining Meets Abstract Interpretation J. Carmona and J. Cortadella Universitat Polit`ecnica de Catalunya, Spain 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 d. 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.
Josep Carmona, Jordi Cortadella
Added 29 Jan 2011
Updated 29 Jan 2011
Type Journal
Year 2010
Where PKDD
Authors Josep Carmona, Jordi Cortadella
Comments (0)