Process Mining allows organizations to obtain actual business process models from event
logs (discovery), to compare the event log or the resulting process model in the discovery …

Smart contracts might encode legal contracts written in natural language to represent the
contracting parties' shared understandings and intentions. The issues and research …

Predictive modeling approaches in business process management provide a way to
streamline operational business processes. For instance, they can warn decision makers …

Organizations maintain process models that describe or prescribe how cases (eg, orders)
are handled. However, reality may not agree with what is modeled. Conformance checking …

Process mining is the research domain that is dedicated to the a posteriori analysis of
business process executions. The techniques developed within this research area are …

Conformance checking is a set of process mining functions that compare process instances
with a given process model. It identifies deviations between the process instances' actual …

This thesis is about process mining: the analysis an organization's processes by using
process execution data. During the handling of a case or process instance data about the …

Event sequence data is increasingly available. Many business operations are supported by
information systems that record transactions, events, state changes, message exchanges …

Process mining techniques relate observed behavior (ie, event logs) to modeled behavior
(eg, a BPMN model or a Petri net). Process models can be discovered from event logs and …

While the maturity of process mining algorithms increases and more process mining tools
enter the market, process mining projects still face the problem of different levels of …