Probabilistic declarative process mining
作者：
Highlights：
• We introduce the notion of probabilistic process constraints.
• We define and solve different probabilistic process mining tasks.
• Specifically, we tackle discovery, conformance checking, and monitoring.
• The presented techniques are implemented as a proof-of-concept prototype.
• We evaluate the techniques on real-life logs.
摘要
•We introduce the notion of probabilistic process constraints.•We define and solve different probabilistic process mining tasks.•Specifically, we tackle discovery, conformance checking, and monitoring.•The presented techniques are implemented as a proof-of-concept prototype.•We evaluate the techniques on real-life logs.
论文关键词：Declarative processes,Probabilistic temporal reasoning,Probabilistic process discovery,Probabilistic monitoring,Probabilistic conformance checking
论文评审过程：Received 1 February 2021, Revised 19 December 2021, Accepted 23 March 2022, Available online 18 April 2022, Version of Record 30 June 2022.
论文官网地址：https://doi.org/10.1016/j.is.2022.102033
