Process event data is usually stored either in a sequential process event log or in a
relational database. While the sequential, single-dimensional nature of event logs aids …

Dear Reader, The idea of this book is due to the last decade of observations and academic
discussions at scientific conferences in the areas of business process management [2, 14] …

A temporal model describes processes as a sequence of observable events characterised
by distinguishable actions in time. Conformance checking allows these models to determine …

Recently, the idea of applying process data analysis over relational databases (DBs) has
been investigated in the process mining field resulting into different DB schemas that can be …

Despite all the recent advances in process mining, making it accessible to non-technical
users remains a challenge. In order to democratize this technology and make process …

The number of process models in process repositories has grown in recent years. For this
reason, it is becoming increasingly important to efficiently retrieve process models from the …

With the increased adoption of process mining, there is also a need for practical solutions
that work at industry scales. In this context, process querying methods (PQMs) have …

A process is a collection of actions that were already, are currently being, or must be taken in
order to achieve a goal, where an action is an atomic unit of work, for instance, a business …

Process models constitute valuable artifacts for organizations. A process model formally
captures the way an organization works internally and interacts with its customers and …

State of the art for model checking exploit computationally intensive solutions, bottlenecked
by either repeated data access or suboptimal algorithmic implementations. Our solution …