introduction, business, process, defined, collection, activities, performed, management, abbreviated, specifically, analyse, redesign, execute, monitor, processes, convey, information, diagrams, model, models, created, using, procedural, modelling, petri, notation, industry, standard, consists, activity, nodes, control, representing, consist, circular, rectangular, transitions, arcs, connecting, intuitive, understandable, analyst, solid, mathematical, theory, analysis, spectrum, declarative, explicitly, restrict, available, flexibility, less, examples, include, declare, graphs, based, templates, relations, modelled, parliaments, issuing, legislation, influence, tend, frequently, types, opposite, difficult, integrate, knowledge, represent, contrast, originated, comparative, investigations, distinctive, characteristics, support, suitable, paradigm, scenario, advantages, limitations, paradigms, investigation, academic, research, trend, emerged, consider, hybrid, approaches, combining, mixture, specifications, motivations, rely, surmise, characterised, structured, variability, usually, described, compact, declare[, ii, appropriate, traditional, recent, efforts, therefore, devoted, automatic, covery, proposal, concerning, observed, obtaining, mixed, notations, fused, hamper, perceptual, discriminability, various, elements, proposed, semantics, respectively, limit, observation, complement, target, similar, proposals, capture, regulatory, perspective, procedure, modellers, addition, separating, accommodates, situations, actually, provided, organisation, external, constraints, applied, internal, instance, adoption, governmental, regulations, composed, completely, challenging, users, nowadays, workflow, systems, mainly, configuring, consideration, problematic, expressing, combined, obtained, automatically, adapting, comply, particular, problem, formal, standpoint, focus, consistentcombined, conflict, hence, admit, non, intersecting, behaviours, aspect, solve, adapted, showing, address, challenge, define, heuristics, metrics, evaluate, adaptation, propose, automata, techniques, compute, exploits, automated, synthesis, novel, technique, adapts, original, accommodate, illustrate, experimentation, carried, solutions, alternative, leveraging, discovery, detail, contributions, section, maintains, components, understood, bases, implemented, prom, iii, effectiveness, solution, comparison, existing, additionally, overview, related, summarise, mining, concepts, evaluation, introduce, basic, ltl, thesis, lifecycle, identification, implementation, monitoring, controlling, phases, covering, supported, called, van, der, aalst, defines, data, monitors, enhances, derived, event, produced, categorised, conformance, enhancement, produce, previous, simplest, algorithms, algorithm, main, lies, finding, patterns, constructing, drawbacks, properly, complex, infrequent, behaviour, advanced, heuristic, genetic, region, inductive, frequencies, events, handling, dependencies, iteratively, randomisation, generate, alternatives, transition, system, construct, conquer, methods, checking, whether, deviates, executions, deviations, detected, precisely, located, detect, fraud, inefficiencies, basis, repairing, replay, alignments, replaying, captures, us, locate, deviate, extend, type, reflect, reality, extension, provide, foundations, directed, bipartite, graph, node, graphically, represented, connected, via, definition, apetri, triple, placesandtransitions, relation, causal, presetof, input, output, definitions, pre, postsets, analogous, contain, discrete, tokens, distribution, formally, total, mapping, represents, configuration, marking, expressivity, pns, exceeds, needed, typically, starting, welldefined, imposes, syntactic, restrictions, result, source, al, reflexive, transitive, closure, concept, entry, property, recursively, sub, component, resulting, desideratum, structuredness, structuredif, multiple, outgoing, split, corresponding, incoming, vice, versa, fragment, stateof, notion, valid, correspond, execution, isenabled, contains, token, enabled, removed, distinguish, special, markings, initial, andfinal, safeness, concentrate, generalize, class, workflows, practices, modeling, synonym, application, labeled, fired, mutually, exclusive, additional, gateway, leading, meaning, anymore, lower, retrieve, recheck, updates, assess, risk, career, medical, predict, sequences, symbols, accepted, exists, sequence, final, linear, temporal, logic, mention, introduced, modal, encoding, future, ltlis, flexible, method, syntax, ofltl, ltlformulae, propositional, fol, lowing, grammar, common, abbreviations, including, boolean, implies, intuitively, eventual, ly, originally, developed, infinite, eventually, terminate, finite, variant, betweenltl, dealing, formula, arbitrary, inspired, satisfies, manner, formulas, constructed, atomic, propositions, indicate, xsymbolising, unlike, allowed, declarehas, flavour, agents, responsible, freely, perform, involved, complies, grounded, established, aaxxxaaaxaaaaaaauba^bbxa^bx, altl, satisfying, conjunction, declarerules, compliant, ltlexplanation, absence, occur, existence, response, executed, alt, occurs, followed, occurring, precedence, preceeded, occurred, succession, translations, selection, declaretemplates, explanations, followingdeclare, automaton, generally, termautomaton, regular, recognized, express, contained, relationships, nondeterministic, finitestate, tuple, cal, alphabet, function, deterministic, zero, inductively, smal, lest, reference, literature, automatonis, refer, accepting, condition, synonyms, transformed, recognising, specific, nstates, properties, closed, operations, applying, union, intersection, automatons, cross, product, transform, achieved, transforming, ldl, combination, expressions, defining, expressive, alsoltl, alternating, consisting, converted, generated, formulae, [rd], [ra], [sa], [ad], [alr], [cc], [aa], [], [ca], [afu], [atr], [cmh], [pr], topic, integration, asked, declerative, integrated, phrases, databases, relevant, articles, sections, findings, vs, presented, evidence, synergies, imperative, reijers, et, conducted, workshop, practice, opinion, participants, inherently, higher, abstraction, adding, removing, redoing, entire, easily, pichler, investigate, understanding, conclude, concede, partially, inexperience, advatages, shown, area, interest, combine, recently, de, giacomo, conservative, namely, declaremodels, readable, constructs, translation, firstly, constraint, declaratively, concisely, labelled, translated, translate, constrains, westergaard, slaats, coloured, approach, combines, positive, aspects, identify, declareand, constrain, considered, underlying, simulate, smedt, reset, inhibitor, lastly, guidelines, hierarchical, specified, maggi, discoverying, unstructured, discovering, mined, discovered, fahland, addressed, retrieved, aimed, keeping, repaired, capturing, behaviors, identified, minimum, aligning, secondly, subprocesses, thirdly, unused, resulted, buijs, similarity, candidate, rediscovering, modifying, gambini, unsound, behavioral, errors, multi, objective, simulated, annealing, provides, optimization, local, optimum, diverse, armas, cervantes, argue, limitation, producing, generalised, suggest, iterative, user, graphical, representation, highest, impact, linked, syncronised, mapped, visualising, problems, manually, compared, investigated, lohmann, expressed, soundness, encompasses, lack, code, terminated, correctly, error, reducing, focusing, unnecessary, discussion, examined, integrating, academia, researchers, looking, manifest, option, create, comprised, features, attempted, behavioural, syntactical, community, solving, banco, italy, spain, germany, headquarters, milan, assets, billion, equity, profit, euros, europe, european, policy, moderately, manage, regulation, affecting, analysts, affected, errorprone, doing, semi, elaborate, preserve, currently, feasible, changing, specification, longer, easier, comprehend, possibility, analysing, causes, clashes, require, substantially, consistent, assume, designers, adopted, results, framework, couple, example, processing, paral, lel, reliability, applicant, administrative, strategic, issues, procedures, compose, eliminate, minor, ensure, extremely, costly, overal, mentioned, propagate, behavior, satisfy, conform, inconsistent, regain, consistency, depicted, deeply, newexecutions, previously, forbidden, included, although, regaining, core, nonempty, lywe, theoretical, practical, computing, considering, relax, assumption, desired, adapt, minimal, structural, edit, distance, capability, altering, characterising, structurdness, duplication, unfortunately, conflicting, requirements, diverging, similarly, added, contribution, tackled, computed, exploit, equivalence, reachability, briefly, summarised, subsection, synchronous, reachable, clearly, essence, mutual, induction, notational, abuse, immediate, exploiting, guarantees, woped, http, dhbw, karlsruhe, proceed, iff, projection, selecting, chapter, suited, isomorphic, isomorphism, labels, viable, [rd][rd], [cc][afu], synthesise, whteher, regions, respect, essentially, synthesized, focused, exactly, realizing, fulfills, requirement, lacks, desirable, duplicate, leftmost, circled, petrify, successfully, employ, violation, blockstructuredness, activitiy, achive, www, cs, upc, edu, jordicf, abbc, enactor, understandability, arne, tailored, fulfill, possibly, sacrifice, started, hypothesis, removal, interleavings, parallel, current, improving, version, arnereturns, detailing, modify, intersect, visible, modified, accomodate, synchronization, removeunusedplaces, comparing, reached, getproblemsets, violate, cluster, separately, violating, explained, associating, localize, marked, smallest, sharing, numbered, addsyncpoints, tackle, interleavingsof, pointsfor, forcing, abcdef, arneto, synchronize, allowing, continue, analyzing, location, belonging, statesof, arc, blockstructured, nesting, synchronizing, flattening, parallelism, concatenating, nd, denoted, apply, complient, outputs, maximal, containing, maximality, violated, signature, returned, compactly, arnedoes, tighter, operator, nextimposes, nextoperator, extract, arnealgorithm, declarerulesthen, getlaststateoftheproblemset, getsyncsourceandtarget, sync, checkcompliancetorules, getfronts, whileset, getsemibadbadpairs, getsourceandtarget, flatten, necessary, cycles, ambiguous, specifying, immediately, confusing, passed, pass, futher, required, threshold, noted, architecture, arneprom, incorporated, petrifytool, detailed, flloatlibrary, generation, implements, jautomata, flloat, tweety, petrinets, pnanalysis, transitionsystems, modelrepairer, modifications, java, promonline, supports, versions, incompatibility, distribute, locally, convert, promplug, https, github, com, alaponin, automatedruletonetenactorpromplugin, riccardodemasellis, svn, tue, nl, repos, src, org, processmining, plugins, petrinet, behavioralanalysis, tsgenerator, librariesarnepromjautomataffloat, contexts, petrinetspnanalysistransitionsystemspnautomatonbuildertweetyltlautomatonbuildermodelrepairersynchroniserflattenerpetrify, dialog, inputs, prompted, orpetrify, laptop, routing, xor, petrifyand, answering, effective, returning, thus, stated, desiderata, datasets, paired, illustrates, appendix, images, shortened, clarity, degree, feature, presence, distinct, involving, placed, prefix, dataset, entries, declaretemplate, subset, converting, corresponds, random, augmented, align, embedded, arneplug, afromentioned, obtain, measurements, duplicates, percentage, retained, measured, equivalences, cfr, operation, negation, simply, switching, metric, computes, normalized, reported, missing, arnefor, includes, measurement, admits, observe, guarantee, failing, fairly, surprising, exclusively, exhaustive, lowest, explanation, fluctuating, attempt, extracted, generalization, expected, alignment, according, span, sscore, arneandpetrify, restricted, constantly, comparable, ability, retain, varies, greatly, arnein, preserves, construction, possibilities, interleaving, synchronising, combinations, maintain, experiments, arneshould, priority, highly, nonetheless, negligible, petrifymay, maintaining, crucial, summary, formulated, extensively, tested, ofthe, emphasise, opportunity, expanded, functionalities, arneso, cope, issue, human, versus