introduction, context, motivation, sectors, probably, currently, vendors, process, improvement, business, modelling, manageme, nt, consultants, reengineering, processes, definition, management, discipline, focused, using, significant, contributor, achieving, organisations, objectives, ongoing, performance, governance, essential, instrument, organising, activities, improving, understanding, interrelationships, enacted, automatically, human, involvement, effective, resources, informatio, systems, model, notation, widely, standard, development, object, focus, abstraction, technical, supports, complete, range, including, software, technology, primary, provide, readily, understandable, users, analysts, create, initial, drafts, developers, responsible, implementing, perform, manage, monitor, problem, statement, modern, aiming, delivering, products, efficient, manner, operate, higher, maturity, formal, semiformal, models, document, configure, processaware, information, enforce, particular, working, discussion, analysis, simulation, certification, etc, reality, tend, idealised, illustrates, importance, conformance, checking, method, us, uncovering, measuring, discrepancies, executions, execution, correspondence, control, determining, severity, types, discrepancie, develop, technique, developed, siav, italian, che, cking, token, replay, comparing, alignme, implemented, execute, event, observe, react, later, aligned, deviance, section, optimal, alignment, gateways, inclusive, exclusive, parallel, gateway, results, duplication, complicated, split, similar, conditions, outgoing, mutually, activates, depending, semantics, generates, equipped, default, evaluate, rocess, fragment, incoming, normally, indicating, completion, determined, definite, generate, combination, specify, integrated, subsystem, doing, abstract, variability, enablement, tokens, existing, computationally, expensive, issue, enableme, called, checked, designed, crucial, linear, data, efficiently, desirable, actual, behaviour, comparison, various, techniques, proposed, recent, usually, ordering, ignore, functionality, aware, system, support, ability, verify, whether, workflow, conformant, constraints, consider, multi, perspective, expected, perspectives, diagram, dat, resource, credit, request, appliances, remainder, simply, referred, init, ials, verificat, ion, ivit, er, brackets, acredit, etibar, ea, pete, ta, jan, eb, sue, ec, tb, feb, detect, violation, expert, assistant, mentioned, supporting, implement, possibility, research, divided, thesis, enhance, conformanc, impleme, nting, particula, approaches, enhancing, includ, ing, reduce, related, based, replaying, played, distribution, temporal, encoded, demonstrates, decompositions, conquer, needed, diagnose, problems, concept, investigated, et, al, validation, metric, oriented, implementation, worked, finite, rozinat, van, der, aalst, conform, proposes, incremental, approach, fitness, ensured, appropriateness, analysed, respect, addressing, defined, metrics, structural, behavioural, quantification, locate, respective, areas, imperative, capture, allowed, alternative, paradigm, declarative, unlike, captures, limitation, unless, forbidden, dimension, deviations, manifest, skipped, inserted, performed, according, occur, supposed, skipping, inserting, characteristics, activity, severe, insertion, classical, penalize, heuristics, result, incorrect, estimate, therefore, correspond, adriansyah, individual, framework, algorithm, petri, doesnt, unobservable, compliance, design, compliant, enforced, localise, non, focuses, ramezani, taghiabadi, provided, alignments, diagnostic, violations, instance, events, violated, temporary, requirements, happened, feasible, dependencies, attributes, complex, additiona, pre, processing, mainly, enable, tackling, explosion, abstracting, objects, irrelevant, verification, fewer, explored, procedure, automatic, accomplished, identifying, relevant, predicates, application, obtain, knuplesch, showed, reduced, conduction, complia, nce, suggested, verifying, aspects, feedback, ignored, demonstrated, incorporated, visual, querying, express, regarding, within, query, processor, mapping, formula, logic, operators, expressing, formulae, future, caused, extracted, visualised, applied, proposition, sub, main, solutio, percent, parsing, operations, finding, employed, discussed, differe, calculatio, functio, included, kmin, smallest, returned, traditional, tagged, closed, suggest, researchers, exposed, paradigms, limitations, extending, constructs, macro, extension, shown, declare, transformed, less, readable, larger, embedded, notations, compared, reference, insights, cognitive, programming, suggests, type, sequential, circumstantial, insight, concerns, theoretical, axioms, dimensions, stating, containing, confirmed, partially, apparently, regardless, controlled, experiment, conducted, silva, provides, interface, creation, templates, relying, combines, grounded, graphical, representation, traditiona, successfully, cope, unexpected, situations, students, participated, reported, difficulties, dealing, growth, quality, required, adjustments, workflows, effort, adjust, concluded, easier, although, proponents, claim, evidence, observed, flexibility, causes, understandability, resulting, maintainability, contributes, investigating, impact, adoption, maintenance, exploratory, minor, challenging, failed, identify, chesani, methodology, developing, applying, prolog, expressiveness, complement, tested, knowledge, composed, expose, reasoning, sketched, mapped, adopt, verificatio, masellis, monitoring, theoretically, requires, database, literature, propositional, formulas, community, studied, offline, expressive, satisfiability, apply, prediction, mechanism, evolutions, represents, automate, runtime, online, dynamic, extended, continuous, providing, timed, version, consideratio, violatio, avoided, ns, timer, spans, considered, duration, considering, completio, looking, signals, statistics, executed, infinite, advantage, bps, specified, modelled, easily, specificatio, detailed, diagnostics, constraint, effic, ie, downside, specification, period, training, familiar, specifica, tio, additional, evaluations, proposal, desired, intended, addressed, proposing, formally, activation, correlation, isnt, global, variables, disconnected, converting, automaton, generated, presented, decserflow, replaced, translated, automata, converted, elements, issues, solved, scope, graphica, properties, submitting, accepting, requests, principle, presence, candidates, computational, latter, picked, evaluates, concrete, parameter, plugin, format, independent, fulfilled, user, healthiness, target, parameters, questionnaire, action, eventually, followed, suitable, defining, analysing, recorded, complies, predefined, regulations, fulfilment, ratio, calculated, activations, underlying, syntax, experts, evaluated, separately, per, faster, increase, conclusion, capturing, situation, detection, inconsistencies, corresponding, lacked, previous, tends, enhancement, enhanced, graph, investigation, evaluation, links, regression, methods, dependency, expressed, include, integer, methodologies, filtered, unique, missing, attribute, contribution, handled