introduction, business, process, defined, collection, activities, performed, value, customer, management, abbreviated, aims, improve, specifically, analyse, redesign, execute, monitor, processes, convey, information, diagrams, used, model, created, using, procedural, modelling, languages, petri, nets, notation, industry, standard, consists, nodes, control, representing, circular, rectangular, transitions, arcs, connecting, intuitive, understandable, analyst, solid, mathematical, theory, useful, analysis, spectrum, declarative, explicitly, flows, restrict, space, available, flexibility, less, examples, include, declare, graphs, based, templates, relations, modelled, parliaments, governments, issuing, laws, legislation, influence, everyday, life, tend, frequently, types, opposite, difficult, integrate, knowledge, represent, contrast, originated, stream, comparative, investigations, understand, distinctive, characteristics, support, choice, suitable, paradigm, scenario, advantages, limitations, academic, research, trend, emerged, consider, hybrid, approaches, combining, mixture, specifications, motivations, rely, surmise, characterised, structured, level, variability, usually, described, compact, declare[, ii, stable, appropriate, traditional, recent, efforts, therefore, being, devoted, automatic, covery, proposal, concerning, observed, obtaining, fully, mixed, fused, separate, hamper, perceptual, discriminability, various, elements, proposed, semantics, respectively, shares, limit, observation, complement, target, view, similar, capture, regulatory, perspective, procedure, modellers, freedom, addition, separating, accommodates, situations, actually, provided, organisation, external, constraints, applied, internal, instance, adoption, governmental, regulations, however, making, sense, composed, completely, challenging, users, nowadays, workflow, systems, mainly, driven, configuring, taking, consideration, problematic, reason, expressing, combined, obtained, automatically, adapting, comply, set, particular, frame, formal, standpoint, focus, consistentcombined, conflict, hence, admit, non, intersecting, behaviours, aspect, task, solve, adapted, showing, address, challenge, define, heuristics, metrics, guide, evaluate, adaptation, propose, automata, techniques, compute, exploits, automated, synthesis, novel, adapts, original, illustrate, experimentation, carried, compare, solutions, alternative, log, leveraging, state, art, discovery, repair, detail, contributions, following, describe, general, section, maintains, components, due, understood, bases, implemented, prom, plug, iii, prove, effectiveness, comparison, existing, additionally, overview, related, summarise, background, mining, fits, concepts, evaluation, introduce, basic, ltl, thesis, built, lifecycle, identification, implementation, monitoring, controlling, phases, covering, supported, called, van, der, aalst, data, enhances, derived, event, produced, categorised, conformance, enhancement, produce, given, previous, simplest, algorithms, main, lies, finding, patterns, constructing, drawbacks, properly, complex, infrequent, advanced, genetic, region, inductive, account, frequencies, handling, dependencies, iteratively, randomisation, generate, construct, divide, conquer, methods, checking, whether, deviates, executions, deviations, detected, precisely, located, detect, fraud, inefficiencies, basis, repairing, replay, alignments, footprints, replaying, allow, locate, extend, reflect, reality, extension, taken, provide, foundations, directed, bipartite, graphically, represented, squares, connected, via, definition, apetri, triple, placesandtransitions, causal, presetof, input, output, pre, postsets, analogous, contain, discrete, tokens, distribution, formally, total, mapping, configuration, marking, expressivity, pns, exceeds, needed, typically, starting, welldefined, ending, imposes, syntactic, restrictions, result, single, source, sink, al, reflexive, transitive, closure, entry, exit, property, recursively, sub, resulting, desideratum, structuredness, structuredif, multiple, outgoing, split, corresponding, incoming, vice, versa, fragment, forms, stateof, notion, valid, firing, route, correspond, isenabled, enabled, removed, write, otherwise, distinguish, initial, andfinal, safeness, concentrate, generalize, class, modeling, synonym, loan, application, labeled, fired, mutually, exclusive, upper, additional, gateway, leading, meaning, cannot, anymore, lower, receive, check, retrieve, recheck, updates, assess, risk, career, medical, history, predict, sequences, symbols, accepted, exists, linear, temporal, logic, mention, introduced, modal, encoding, future, ltlis, powerful, flexible, syntax, ofltl, ltlformulae, propositional, fol, lowing, grammar, common, abbreviations, including, boolean, false, implies, intuitively, eventual, originally, developed, infinite, eventually, terminate, finite, variant, difference, betweenltl, dealing, formula, instant, written, arbitrary, inspired, satisfies, manner, constructed, atomic, propositions, indicate, xsymbolising, unlike, allowed, declarehas, flavour, agents, responsible, freely, choose, perform, involved, trace, grounded, established, aaxxxaaaxaaaaaaauba^bbxa^bx, altl, satisfying, conjunction, declarerules, compliant, ltlexplanation, absence, occur, existence, response, executed, chain, alt, followed, occurring, precedence, preceeded, occurred, succession, translations, selection, declaretemplates, explanations, followingdeclare, automaton, generally, termautomaton, regular, recognized, express, contained, relationships, nondeterministic, finitestate, tuple, cal, led, alphabet, function, deterministic, zero, possible, inductively, base, smal, lest, term, reference, literature, automatonis, refer, accepting, condition, accepts, transformed, recognising, specific, nstates, closed, operations, applying, union, intersection, cross, product, authors, 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, questions, asked, declerative, integrated, phrases, search, databases, relevant, articles, report, presented, evidence, synergies, imperative, reijers, et, conducted, workshop, opinion, participants, inherently, higher, abstraction, quickly, adding, removing, redoing, entire, easily, pichler, investigate, understanding, conclude, concede, partially, inexperience, known, advatages, shown, area, interest, combine, recently, de, giacomo, conservative, namely, declaremodels, readable, stages, firstly, declaratively, concisely, labelled, translated, translate, maps, constrains, westergaard, slaats, coloured, positive, identify, declareand, considered, underlying, simulate, tools, smedt, reset, inhibitor, lastly, guidelines, hierarchical, specified, fashion, maggi, discoverying, unstructured, discovering, mined, discovered, fahland, addressed, retrieved, aimed, keeping, repaired, capturing, behaviors, identified, minimum, amount, aligning, loops, secondly, subprocesses, thirdly, unused, resulted, buijs, similarity, candidate, rediscovering, modifying, gambini, unsound, behavioral, errors, multi, objective, simulated, annealing, optimization, stuck, local, optimum, diverse, armas, cervantes, argue, suffer, producing, generalised, suggest, iterative, graphical, representation, highest, impact, linked, syncronised, mapped, visualising, manually, compared, itself, investigated, lohmann, checkers, expressed, soundness, encompasses, lack, dead, locks, code, terminated, correctly, reducing, focusing, unnecessary, discussion, examined, integrating, stem, academia, interested, researchers, looking, manifest, option, create, comprised, features, mostly, attempted, behavioural, syntactical, community, solving, banco, italy, spain, germany, headquarters, milan, assets, billion, equity, profit, million, euros, europe, subject, european, policy, moderately, manage, whenever, affecting, affected, errorprone, doing, semi, elaborate, preserve, currently, feasible, changing, longer, easier, comprehend, possibility, analysing, root, causes, clashes, require, substantially, consistent, assume, designers, adopted, extra, framework, couple, processing, paral, lel, major, reliability, applicant, administrative, strategic, office, issues, compose, eliminate, minor, ensure, extremely, costly, overal, mentioned, goal, propagate, rise, conform, inconsistent, regain, consistency, depicted, deeply, newexecutions, previously, forbidden, included, although, regaining, interesting, core, select, nonempty, ideal, lywe, theoretical, practical, clear, computing, equal, considering, relax, assumption, desired, apart, lose, minimal, structural, edit, capability, altering, characterising, structurdness, duplication, unfortunately, conflicting, requirements, diverging, similarly, likely, added, tackled, computed, equivalence, reachability, briefly, summarised, subsection, synchronous, reachable, clearly, essence, mutual, induction, notational, abuse, immediate, exploiting, guarantees, finally, woped, http, dhbw, karlsruhe, running, proceed, iff, projection, selecting, chapter, suited, isomorphic, isomorphism, labels, viable, [rd][rd], [cc][afu], synthesise, whteher, somehow, respect, essentially, simple, synthesized, focused, exactly, realizing, fulfills, desirable, duplicate, leftmost, double, circled, fails, petrify, successfully, employ, violation, blockstructuredness, activitiy, achive, www, cs, upc, edu, jordicf, abbc, enactor, understandability, arne, tailored, willing, possibly, sacrifice, started, hypothesis, removal, interleavings, parallel, tried, arrived, current, improving, version, remove, building, loose, arnereturns, detailing, modify, intersect, visible, modified, accomodate, synchronization, removeunusedplaces, comparing, reached, getproblemsets, violate, cluster, separately, violating, explained, below, associating, localize, marked, smallest, sharing, numbered, addsyncpoints, tackle, interleavingsof, pointsfor, forcing, abcdef, arneto, synchronize, allowing, analyzing, location, belonging, statesof, going, blockstructured, nesting, hidden, synchronizing, flattening, parallelism, concatenating, nd, denoted, apply, complient, connect, maximal, containing, maximality, violated, signature, returned, compactly, arnedoes, tighter, operator, nextimposes, direct, nextoperator, extract, arnealgorithm, declarerulesthen, getlaststateoftheproblemset, getsyncsourceandtarget, sync, checkcompliancetorules, getfronts, whileset, getsemibadbadpairs, getsourceandtarget, flatten, necessary, cycles, ambiguous, specifying, immediately, having, confusing, passed, pass, futher, required, threshold, noted, architecture, arneprom, incorporated, petrifytool, detailed, flloatlibrary, generation, implements, libraries, jautomata, flloat, tweety, petrinets, pnanalysis, transitionsystems, modelrepairer, modifications, java, promonline, incompatibility, distribute, package, manager, locally, convert, promplug, github, com, alaponin, automatedruletonetenactorpromplugin, riccardodemasellis, svn, tue, nl, repos, src, org, processmining, plugins, behavioralanalysis, tsgenerator, librariesarnepromjautomataffloat, contexts, petrinetspnanalysistransitionsystemspnautomatonbuildertweetyltlautomatonbuildermodelrepairersynchroniserflattenerpetrify, dialog, prompted, orpetrify, laptop, routing, xor, overall, petrifyand, answering, effective, returning, thus, stated, datasets, paired, appendix, images, shortened, clarity, degree, presence, distinct, involving, placed, prefix, subset, converting, random, miner, augmented, align, embedded, arneplug, afromentioned, obtain, measurements, measure, percentage, retained, measured, cfr, negation, simply, switching, normalized, reported, missing, arnefor, observe, failing, fairly, worst, surprising, exclusively, exhaustive, lowest, fluctuating, attempt, extracted, generalization, scores, expected, according, span, sscore, arneandpetrify, restricted, constantly, comparable, ability, retain, varies, greatly, arnein, preserves, construction, synchronising, price, gain, experiments, arneshould, chosen, priority, highly, nonetheless, negligible, petrifymay, maintaining, crucial, summary, formulated, extensively, tested, ofthe, emphasise, opportunity, deal, further, expanded, functionalities, arneso, cope, human, versus