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