Model-based trace variant analysis of event logs
作者：
Highlights：
• A novel approach to generalize the notion of trace variant of an event log.
• Proposal for two generalized trace variants: process and subnets, to cope with concurrency and loop behavior.
• An encoding of the problem into SAT.
• A sampling strategy to cope with the complexity of the problem, that incorporates certain statistical guarantees.
• A qualitative and quantitative evaluation over well-known benchmarks.
摘要
•A novel approach to generalize the notion of trace variant of an event log.•Proposal for two generalized trace variants: process and subnets, to cope with concurrency and loop behavior.•An encoding of the problem into SAT.•A sampling strategy to cope with the complexity of the problem, that incorporates certain statistical guarantees.•A qualitative and quantitative evaluation over well-known benchmarks.
论文关键词：Conformance checking,Trace variant analysis,SAT,Process mining
论文评审过程：Received 1 March 2020, Revised 29 August 2020, Accepted 3 November 2020, Available online 14 November 2020, Version of Record 10 August 2021.
论文官网地址：https://doi.org/10.1016/j.is.2020.101675
