introduction, process, mining, techniques, allow, analysis, business, processes, main, focus, lies, automatic, retrieval, subsequent, models, event, logs, consists, discovery, enhancement, conformance, checking, extraction, extension, improvement, using, information, extracted, analyzing, whether, reality, recorded, compliant, majority, algorithms, construct, procedural, however, resulting, spaghetti, difficult, interpret, especially, working, unstable, environments, therefore, useful, declarative, dealing, variability, multiple, allowed, approach, presented, declare, modelling, language, introduced, plugin, called, declareminer, developed, tool, prom, automata, apriori, detection, proposed, thesis, integrates, existing, implementation, addition, usability, results, improved, faster, original, version, provides, richer, respect, code, contribution, provided, source, application, state, art, chapter, related, discussed, overview, general, probabilistic, based, statistical, relational, learning, containing, traces, labeled, non, possible, set, constraints, expressed, ics, integrity, represented, markov, logic, enhancing, logical, programming, methodology, inductive, used, adapted, considering, component, candidate, discovered, pruned, workflows, email, messages, implemented, minerful, described, knowledge, base, given, compute, support, querying, online, data, streams, framework, produce, runtime, updated, behavior, terms, meaningful, concept, drifts, occurred, execution, user, background, rather, research, discipline, computational, intelligence, monitor, improve, life, extracting, actual, systems, gather, widely, available, matured, academic, commercial, increasing, interest, industry, thus, amount, software, vendors, adding, functionalities, capabilities, compare, extend, coming, repair, guiding, principles, aid, avoiding, applying, settings, guide, following, treated, class, citizens, classified, maturity, levels, ranging, excellent, respectively, higher, reliable, applied, driven, questions, concrete, extract, reasonable, concurrency, choice, basic, control, flow, supported, generated, fitting, understand, elements, purposeful, abstractions, due, various, stakeholders, situations, producing, understandable, maps, continuous, cope, challenges, addressed, mentioned, considered, incomplete, advances, nevertheless, listed, below, relevant, finding, merging, cleaning, complex, having, diverse, characteristics, creating, representative, benchmarks, improving, representational, bias, balancing, quality, criteria, fitness, simplicity, precision, generalization, cross, organizational, providing, operational, combining, types, experts, refers, activity, defined, instance, performer, referred, originator, actor, executing, initiating, timestamp, totally, ordered, format, storing, files, generic, typically, contains, audittrailentry, processinstance, specific, workflowmodelelement, within, connected, itself, transactional, lifecycles, adopted, standard, practical, experiences, organizations, limitations, semantics, additional, attributes, stored, string, values, generally, understood, meaning, nomenclature, caused, assumption, strictly, structured, solve, encountered, create, directly, extensible, enhances, shown, replaces, worfklowlog, differences, mentioning, define, structure, document, themselves, known, date, integer, float, boolean, meta, advantages, flexibility, extensibility, expressivity, view, modeling, linear, temporal, development, designer, design, enactment, communication, programs, changing, worklist, execute, recommendations, domains, require, relation, templates, facilitates, definition, compared, imperative, followed, implicitly, possibilities, violate, differently, enjoy, unique, specified, graphical, representation, visual, total, existence, involve, describe, dependency, negative, specifies, occur, absence, exactly, init, operator, responded, co, response, eventually, precedence, succession, alternate, repetitions, chain, cannot, occurrence, conjunction, actions, fulfill, mandatory, optional, forces, ability, corresponding, enforced, perform, warning, violation, cancel, text, mapped, onto, formulas, automatically, finite, compositions, errors, verifies, minimal, causes, verified, dead, conflicting, executed, exists, plug, petri, nets, epcs, social, networks, combined, miner, specifying, input, default, predefined, usage, http, www, tue, nl, combines, replayers, detect, composed, phases, efficiency, firstly, frequency, single, computed, length, minimum, percentage, instantiated, instantiating, identified, example, frequent, discovering, detected, implements, satisfied, desired, initialised, iterated, processed, finished, processing, lower, discarded, remaining, added, briefly, explained, sections, whenever, afterwards, pseudo, brief, explanation, unless, incoming, pending, activations, happened, incremented, unit, waiting, fulfilled, increased, candidatelist, id, islastevent, determines, current, fulfilledcases, fullfilledcases, pendingactivations, foreach, preceded, increment, iterate, greater, fulfilments, activityfrequencies, fulfilledactivatons, fulfilledactivations, constaintskey, freq, activityfreqencies, activityfrequecies, description, items, condition, equal, existencecondition, similar, intended, command, interface, unix, terminal, easier, java, web, retains, initial, performance, outputs, configuration, absolute, arguments, variablevalue, log_file_path, compressed, extra, accepted, comma, separated, etc, min_support, filtering, ranges, alpha, shortly, enables, disables, vacuity, enabled, activated, frequently, disabled, vacuously, requiring, trivially, satisfy, output_path, output_file_type, select, declare_miner, betterminer, configuration_file, formatted, features, simple, human, readable, sentences, convey, essence, witnesses, counter, violated, vacuous, receive, complete, invoice, payment, products, cp, report, accessed, hyperlink, bitbucket, org, taavi_kala, declareminerwithaprioriandreplayers, src, experiments, milliseconds, corresponds, pruning, graphs, benchmarking, tests, carried, synthetic, separately, overall, outperforms, scripts, generating, running, project, generate, rb, runner, kernel, virtual, specifications, cores, ghz, generator, combination, contents, maximum, equally, valued, consistent, alphabet, colon, latin, alphabetical, characters, fixed, varying, taken, benchmarked, disabling, evident, previous, noticeable, observation, less, efficient, significantly, apriorireplayersreplayers, fixing, similarly, per, outperforming, applies, steady, tested, varied, gains, increases, nearly, linearly, worse, variation, finally, scaled, logarithmically, significant, varies, showing, counterparts, fastest, turned, showed, logarithmic, hefty, random, context, explicitly, dutch, financial, institute, average, handled, replayersreplayers, volvo, belgium, incident, management, superior, prune, dropped, completely, rabobank, slower, conclusion, becoming, solutions, actively, recognized, basis, fit, standalone, easily, needed, comparison, outperformed, performing, irrelevant, largest, choose, option, fully, office, manner, familiar, future, currently, newly, rum, accessible, perspectives