… In this work, we define a taxonomy of uncertain event … conformance checking. Finally, we
show how upper and lower bounds for conformance can be obtained by aligning an uncertain …

… conformancechecking technique. It takes as input an event trace, a process model, and an
uncertain event-… Note that the question of how to obtain an uncertain mapping, which consists …

… In this work, we define a taxonomy of uncertain event … conformance checking. Finally, we
show how upper and lower bounds for conformance can be obtained by aligning an uncertain …

… Our contributions and the structure of the paper, following background on conformance
checking and uncertain event data in the next section, are summarized as follows: …

… As detailed above, conformance checking relates event logs and process models, ie, different
representations of a process, to each other. This general setting is illustrated in Figure 1.4, …

… data-aware conformance checking over uncertain logs, through a suitably extended notion
of alignment. The framework employs Data … different types of uncertain event data, we borrow …

… In this section, we illustrate the problem of conformance checking in … conformance checks
by using behavioral spaces. To perform our conformance checks, we introduce a conformance …

… of precedence relationships among events, for logs with strong uncertain data. By using …
to calculate the probability of a trace with an uncertain event-to-activity mapping. In a recent …

… We cast conformance checking as an alignment problem, … results on data-aware SMT-based
conformance checking can be lifted … with uncertain event data. Specifically, we fix a concrete …

… We define a taxonomy of uncertain event logs and models… conformance checking. Finally,
we show how upper and lower bounds for conformance can be obtained aligning an uncertain …