introduction, chapter, introduce, problem, addressed, thesis, research, sketch, contribution, aimed, answering, process, mining, relatively, discipline, analysing, data, business, processes, includes, main, automated, discovery, conformance, checking, enhancement, models, events, apriori, informati, techniques, users, detect, discrepancies, behaviour, recorded, event, expected, described, model, enrich, input, information, retrieved, focus, address, context, existing, approaches, containing, complex, parallel, structures, especially, incompleteness, infrequent, algorithms, dealing, incomplete, working, factorial, growth, respect, thus, output, correspond, original, re, se, arch, effectively, partial, que, stions, structured, degree, identify, belonging, using, contained, cluster, obje, ctive, implement, approach, plugin, prom, evaluate, effectiveness, proposed, algorithm, efficiency, combines, conquer, mini, ng, highly, concurrent, theorems, us, determine, structure, iteratively, replace, placeholder, reconstruct, final, recursively, apply, implemented, performed, qualitative, quantitative, measured, characteristics, randomly, generated, starting, evaluated, baseline, inductive, purpose, characterised, degrees, completeness, https, github, com, sjbog, pbminer, related, prerequisites, prior, needed, capture, elements, deterministic, execution, exist, numerous, representation, formats, standard, solutions, management, activities, achieved, sequential, exclusive, petri, modelling, notation, based, transition, system, transitions, represented, directed, graph, arcs, nodes, respectively, notion, tokens, indicate, control, initial, terminates, corresponds, sub, class, workflow, widely, representations, designed, structural, divided, categories, objects, gateways, connecting, sequence, etc, artefacts, object, annotation, gateway, specifies, explicitly, specifying, denotes, executed, non, guarantees, deadlocks, anomalies, implementation, abstract, hierarchical, guaranteed, popular, compute, software, conversion, standardised, acyclic, denote, relationship, respective, generalisation, operators, causal, seq, xor, nested, called, refer, actions, contains, grouped, instances, contain, defined, attributes, standardized, id, provides, unique, identifiers, uuids, timestamp, element, occurred, human, understood, label, lifecycle, usuall, atomic, complete, example, schedule, suspend, resume, resource, role, identifier, triggered, addition, unlimited, additional, commonly, action, usually, embedded, currency, examples, instance, correlate, relationships, unordered, whereas, ordered, considered, within, environment, standards, although, vendors, define, leverage, analysis, extensible, markup, format, storing, emerged, adopted, communi, force, less, restrictive, extendible, successor, legacy, mana, gi, openxes, source, reference, primarily, provide, generallyacknowledged, interchange, creators, suitable, statistical, principles, developing, simplicity, represent, simplest, readable, generation, parsing, flexibility, specificity, extensibility, ability, transparently, extended, future, maintaining, compatibility, exte, nd, special, requirements, schemas, specific, application, domai, implementations, expressivity, attach, interpretable, semantics, strictly, type, aiming, generic, loss, common, identifiable, particular, deferred, optional, external, extensions, meta, entity, observed, dont, actual, stored, document, arbitrary, enclosing, container, defines, attribute, types, numeric, boolean, concept, classifiers, assigns, identity, maki, comparable, global, subset, allowing, obtain, aggregate, generate, summaries, doesnt, perspective, dimension, resolve, ambiguity, naming, via, prefixing, alpha, oldest, concurrency, straightforward, naive, scan, predefined, patterns, matrix, adding, activity, optimises, reduces, discovered, relations, hence, limitations, infreque, nt, outputs, finite, applies, strategy, partitioning, ordering, according, construct, ranking, perform, split, repeated, encountered, illustrated, specify, limitation, improved, version, incompletenes, imin, lifted, partition, replaced, optimisation, estimates, probabilities, formulas, highest, series, concluded, require, heuristics, robust, dependency, analyse, dependencies, ranked, frequency, metric, indicating, certainty, relation, combined, connected, strongest, inputs, dependenc, reliability, extends, internal, augmented, splits, analyses, distance, pruning, classified, procedural, declarative, unstructured, nowadays, dominant, technique, variability, compac, flexible, hybrid, employ, contexts, division, appropriate, declare, mined, pseudo, representing, subprocesses, recently, imperative, presentation, expressed, constraint, mapped, fragme, weighted, reset, inhibitor, latter, constructs, extending, preserving, modularity, hierarchy, notions, repetitive, identified, clustering, combinations, smaller, corresponding, namely, lastly, knowing, boundary, markers, requires, correctly, assigned, definitions, detail, discussion, advantages, concludes, definition, directly, opening, closing, unassigned, theorem, assignment, consisting, immedia, te, predecessors, successors, filtered, derivative, selection, consider, sequences, occurrence, removed, lx, substituted, occurrences, skipped, grouping, trying, identifying, unless, tagged, previously, mixed, meaning, property, proof, reuses, concurrently, considering, multiple, per, illustrate, previous, applied, anchor, newly, identification, applying, procedure, extreme, reveal, highl, intermixed, ide, ntifie, ve, nts, predecessor, iterating, chaining, visualizes, knowledge, percolates, iteration, assume, interleavings, assign, available, actually, overestimati, finding, swap, position, therefore, guarante, matching, transitively, initially, scaled, colour, prefix, compliant, processing, ope, branche, update, obvious, appeared, deduce, description, sequentially, isolated, separately, overview, continue, differs, exists, appearing, gatewa, considers, filter, belongi, properly, challenging, completely, mapping, create, creating, merged, walkthrough, iterates, immediate, fixed, __process_start__, __proce, ss_end__, iterate, isolate, result, preceding, detection, overlapping, remaining, exclusively, relies, content, produced, unassigne, separation, toplevel, preserve, relative, branch_a, branch_b, substituting, ranch_a, linked, furthe, current, repeating, looking, blo, filters, illustration, reconstruction, branc, h_a, underlying, extracted, necessary, merge, results, obtained, composition, illustrates, replacement, layers, lowest, converted, target, shown, distinctly, proceed, perfor, composed, conclusion, identical, constant, reflection, principle, extracting, bloc, distinction, observation, suffice, requirement, onl, followed, symmetrical, preceded, duplicate, summing, focuses, conte, xt, combination, inherent, internally, inherits, incorrect, precise, tolerate, errors, alternative, solution, threshold, crucial, concerns, classifier, disproof, design, phase, burden, heavily, complicated, decided, support, favour, simpler, processed, bn, loopen, sucha, incorrectly, influence, reconstructs, manner, propagate, affect, error, propagation, affects, caused, suboptimal, evaluation, chapters, artificial, performance, comparison, intermix, former, mature, variations, variants, consists, distinct, reconstructed, variant, produces, perfect, spaghetti, togethe, conclude, selected, maximum, depth, dividing, max, formula, vary, depending, calculate, calculated, permutation, permutations, discard, precedes, total, product, factorials, listed, resulting, ranges, suc, random, average, mentioned, correctness, ratio, reaching, graphs, flatten, percent, detailed, showing, avg_log_completeness_percentpb_correctnessim_correctness, discovering, comparing, recognized, pe, avg, comple, ne, ss, corre, ctne, xe, cution, ms, tre, mode, handling, insurance, claims, travel, agency, explained, interference, effective, lower, explanation, produce, pb_correctnessim_correctnessavg_log_completeness_percent, plots, increasing, horizontal, axis, vertical, milliseconds, measurement, dataset, linear, proportional, slope, angle, positively, correlates, complexity, conclusions, introduced, determines, replaces, abilities, quantitati, compared, suite, showed, randoml, numbe, novel, advanced, unrolling, filtering, preprocess, reflects, skewed, improvements, guided, whitelist, blacklist, association, exampl, frequent, interdependent, reflect, furthermore, estimating, qualitatively, understa, easily