Mining declarative process models with quantitative temporal constraints

Time has always been a subject of study in science, philosophy and religion. Time was referred by the ancient Greeks with two separate words: Chronos and Kairos. Chronos referring to the quantitative aspect of it, while Kairos referring to the qualitative part of it. In this work, time, as a measurement system for a given business context, would be explored in both of its forms. Specifically in the last few years, embedding the notion of quantitative time in discovering declarative mining models has been a point of focus in research. The aim of this work is to enrich declarative process mining models with the notion of quantitative time, and then to adapt the discovery algorithm, inspired by Mooney in 1995, and then modified by Palmieri in 2020, to discover the enriched models.