introduction, chapter, introduce, addressed, thesis, research, questions, sketch, contribution, aimed, answering, process, mining, relatively, discipline, analysing, data, improve, business, processes, includes, main, automated, discovery, conformance, checking, enhancement, aims, building, models, events, logs, apriori, informati, techniques, allow, users, detect, discrepancies, behaviour, recorded, expected, described, enrich, input, information, retrieved, focus, address, context, existing, approaches, fail, containing, complex, parallel, structures, especially, level, incompleteness, infrequent, algorithms, dealing, incomplete, troubles, working, factorial, rate, growth, respect, thus, output, correspond, original, following, re, se, arch, effectively, partial, que, stions, structured, degree, identify, belonging, using, contained, cluster, obje, ctive, implement, plugin, prom, platform, evaluate, effectiveness, proposed, state, art, efficiency, combines, divide, conquer, mini, ng, highly, concurrent, theorems, determine, correct, iteratively, replace, placeholder, reconstruct, recursively, apply, implemented, tool, performed, qualitative, quantitative, tests, measured, characteristics, randomly, generated, starting, evaluated, baseline, inductive, miner, purpose, set, characterised, completeness, https, github, com, sjbog, pbminer, background, related, prerequisites, prior, needed, understand, capture, describe, elements, deterministic, execution, exist, numerous, representation, formats, standard, solutions, management, goal, activities, achieved, base, flows, sequential, exclusive, choice, petri, net, modelling, notation, based, transition, system, represented, directed, graph, arcs, nodes, respectively, notion, tokens, indicate, control, initial, terminates, sub, class, workflow, widely, used, designed, structural, divided, categories, objects, gateways, connecting, message, sequence, etc, lanes, pool, artefacts, annotation, specifies, explicitly, specifying, denotes, executed, non, possible, neither, nor, guarantees, deadlocks, anomalies, however, implementation, abstract, hierarchical, guaranteed, popular, compute, software, conversion, standardised, acyclic, relationship, respective, generalisation, operators, tasks, causal, seq, xor, nested, leaf, called, refer, actions, contains, grouped, instances, traces, defined, attributes, standardized, id, provides, unique, identifiers, uuids, timestamp, date, occurred, human, understood, label, lifecycle, stage, usuall, atomic, complete, example, schedule, suspend, resume, resource, role, triggered, addition, unlimited, additional, costs, commonly, usually, embedded, currency, amount, being, correlate, unordered, whereas, ordered, considered, equal, within, environment, although, vendors, define, leverage, analysis, extensible, markup, language, storing, emerged, adopted, communi, force, less, restrictive, truly, extendible, successor, legacy, stream, mana, gi, openxes, source, reference, library, primarily, generallyacknowledged, interchange, creators, suitable, statistical, principles, developing, simplicity, represent, simplest, readable, generation, parsing, flexibility, general, specificity, extensibility, ability, transparently, extended, future, maintaining, backward, forward, compatibility, exte, nd, requirements, schemas, specific, application, domai, expressivity, attach, interpretable, semantics, strictly, type, aiming, generic, loss, common, identifiable, setting, particular, deferred, optional, external, extensions, meta, entity, observed, dont, actual, stored, document, arbitrary, enclosing, container, value, string, 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, deal, concurrency, straightforward, naive, scan, predefined, patterns, footprint, matrix, adding, optimises, reduces, discovered, relations, hence, limitations, cannot, noisy, infreque, nt, fit, finite, strategy, partitioning, ordering, according, construct, ranking, perform, split, repeated, encountered, illustrated, authors, major, improved, version, incompletenes, imin, lifted, simple, partition, replaced, optimisation, estimates, probabilities, formulas, searches, highest, score, series, concluded, require, heuristics, robust, dependency, analyse, ranked, frequency, metric, indicating, certainty, combined, connected, strongest, dependenc, reliability, extends, internal, augmented, finally, analyses, pruning, classified, procedural, declarative, unstructured, nowadays, dominant, variability, compac, flexible, single, hybrid, employ, having, division, appropriate, declare, mined, pseudo, representing, subprocesses, recently, imperative, presentation, expressed, form, constraint, mapped, fragme, weighted, reset, inhibitor, latter, extending, preserving, modularity, hierarchy, repetitive, identified, clustering, combinations, smaller, corresponding, namely, lastly, knowing, root, boundary, markers, glue, known, free, correctly, assigned, definitions, useful, itself, detail, discussion, advantages, concludes, directly, opening, closing, unassigned, assignment, consisting, immedia, te, predecessors, filtered, derivative, selection, consider, occurrence, removed, lx, substituted, skipped, grouping, trying, identifying, unless, tagged, previously, mixed, meaning, property, proof, reuses, concurrently, considering, multiple, per, illustrate, previous, applied, anchor, members, newly, identification, applying, procedure, extreme, reveal, proves, highl, intermixed, ide, ntifie, ve, iterating, chaining, visualizes, knowledge, percolates, iteration, repeats, assume, interleavings, available, actually, overestimati, finding, swap, position, therefore, guarante, matching, transitively, initially, scaled, colour, prefix, compliant, processing, eve, ope, branche, map, update, obvious, appeared, given, deduce, description, sequentially, isolated, separately, overview, differs, appearing, gatewa, filter, belongi, properly, further, challenging, completely, mapping, create, creating, separate, merged, walkthrough, iterates, immediate, fixed, __process_start__, __proce, ss_end__, isolate, result, preceding, detection, overlapping, remaining, exclusively, relies, content, produced, unassigne, sole, remains, unknown, separation, toplevel, preserve, relative, branch_a, branch_b, substituting, ranch_a, linked, furthe, current, repeating, looking, blo, illustration, reconstruction, branc, h_a, underlying, extracted, necessary, merge, obtained, composition, replacement, layers, lowest, converted, review, target, shown, distinctly, proceed, perfor, composed, conclusion, compare, difference, identical, constant, reflection, beginning, extracting, bloc, clear, distinction, observation, suffice, onl, followed, symmetrical, preceded, duplicate, summing, focuses, conte, xt, guide, absent, inherent, loops, internally, inherits, incorrect, precise, tolerate, errors, alternative, threshold, remove, crucial, concerns, account, reason, body, disproof, design, phase, burden, heavily, complicated, decided, support, favour, simpler, processed, bn, loopen, sucha, incorrectly, influence, depends, manner, propagate, affect, propagation, caused, suboptimal, evaluation, artificial, measure, performance, comparison, intermix, chose, former, stable, mature, variations, variants, consists, distinct, reconstructed, produces, spaghetti, taking, togethe, selected, maximum, depth, dividing, sum, max, vary, depending, calculate, calculated, permutation, discard, precedes, total, product, listed, resulting, ranges, suc, random, average, mentioned, correctness, ratio, below, reaching, flatten, percent, detailed, showing, avg_log_completeness_percentpb_correctnessim_correctness, discovering, truth, comparing, recognized, pe, avg, comple, ne, corre, ctne, xe, cution, tre, mode, handling, health, insurance, claims, travel, agency, explained, interference, effective, lower, explanation, pb_correctnessim_correctnessavg_log_completeness_percent, plots, increasing, horizontal, axis, vertical, milliseconds, measurement, dataset, linear, proportional, slope, angle, positively, complexity, introduced, quantitati, compared, suite, showed, randoml, numbe, novel, advanced, unrolling, filtering, preprocess, reflects, skewed, improvements, guided, whitelist, blacklist, association, exampl, frequent, interdependent, impossible, furthermore, estimating, qualitatively, understa, easily