chapter, introduction, urgent, demand, developing, information, systems, support, business, processes, institutions, organizations, changing, impose, frequent, modication, updates, leading, constant, decrease, span, cycle, process, denition, context, functionality, aware, system, compliance, monitoring, ability, verify, whether, actual, ow, compliant, intended, model, models, imperative, petri, declarative, declare, suitable, approach, unpredictable, modelling, modeller, design, execution, compact, constraints, focus, contradict, allowed, thesis, developed, technique, analyse, complex, data, runtime, sequence, analysis, checking, individual, detection, violations, using, integer, linear, programming, particular, identify, isolation, derive, interplay, implemented, client, server, application, event, instantaneously, results, user, format, veried, synthetic, solution, mining, prom, available, researchers, industry, experts, literature, techniques, verication, discuss, dataaware, determined, details, implementation, validation, future, outcome, address, monitor, respect, control, proposed, applicable, related, \branch, verifying, observed, behaviour, recorded, conformant, provided, conformance, distinction, postmortem, perform, components, type, procedural, perspective, looking, multi, temporal, resource, allocation, distribution, quality, etc, example, us, consider, consisting, activities, abcd, based, evaluate, occur, \who, performed, activity, \what, evaluated, scenario, indicate, medical, treatment, patient, addition, limit, eld, categorised, bulk, ignoring, replaying, comparing, generated, derived, alignment, approaches, aligning, modelled, reliable, provides, mentioned, earlier, environments, initial, focused, classication, evolution, basis, metric, logic, crucial, organisation, starting, mobucon, provide, mobocon, theory, extended, comparison, dierent, challenges, capability, supporting, practical, challenge, fundamental, concepts, required, main, concept, extracting, knowledge, standardized, formats, extensible, markup, standard, extendible, successor, refers, dened, instance, events, belonging, ordered, viewed, additional, timestamp, device, department, executing, elements, attributes, produced, particularly, associated, class, diagram, complete, meta, ling, van, der, aalst, pesic, specifying, specify, relationships, specic, templates, specied, considered, acceptable, closed, forbidden, therefore, exibility, designers, grouped, categories, existence, relation, negative, relations, unary, constraint, absence, exactly, template, symbol, description, init, symbols, suggest, un, forbid, constrains, relative, responded, occurs, bmust, co, vis, versa, response, eventually, precedence, amust, occurred, succession, athere, bhas, preceded, ahad, alternate, repetition, ais, executed, bis, acan, rst, bcannot, immediately, respondedexistence, bcan, bthere, aif, bsecond, descriptions, aand, exclusive, previous, section, capture, cardinality, types, conditions, added, [activation], [correlation], [temporal], relates, activation, dataformat, similarly, target, active, condition, abandons, abandon, rank, imply, correlation, apply, contain, aymentrecieved, dispachorder, pendingbalance, id, activated, aymentrecievedoccurs, require, dispachorderto, idwhich, idofp, unit, sfor, mfor, hfor, dfor, interpreted, datapendingbalance, idequal, within, designed, designer, designing, plugins, editor, modifying, method, achieve, optimal, mathematical, requirements, represented, nd, xwhen, dene, default, maximum, minimum, innite, range, variable, possibilities, positive, xis, mx, conceder, xshould, less, xwill, greater, adding, reduce, xand, closer, satisfy, longer, xmust, newly, solutions, expressions, ilps, nding, explained, chapters, working, analyzer, oine, internal, workings, understanding, component, checklogconformance, reported, algorithm, requires, burattin, input, output, fullling, violating, constrants, ullf, andviol, foreach, odel, viol, checktraceconformance, constr, viol[][], ill[][], fulll, described, algorithms, checktraceconformancecan, framework, operations, opening, called, per, fullments, supposed, activations, update, closing, procedure, analyzed, item, pending, correlated, satised, corresponding, entire, processed, ulf, ilment, ilments, ifverif, verf, nfact, ulillments, factg, violation, pendng, tmplate, illments, current, non, nonemptysetof, targets, corellation, invoked, brie, looked, analysed, visualize, separately, streamed, setup, completed, ag, permanent, adapted, statein, valued, semanticsdescribed, tate, criteria, listed, semantics, possibly, violated, permanently, orpermanently, acquire, fullled, discussed, online, similar, semantic, invoking, os, session, ull, heckt, racec, onf, ormance, [][], analyser, currently, possibility, recover, criterion, fulllments, total, poss, voil, ^f, ^p, nal, sate, pendingactivations, result, possiblyviolated, possiblysatised, ifstate, permanentlysatised, permanentlyvoilated, voilations, degree, healthiness, weight, compared, calculate, normalized, reduced, index, con, icting, dealt, introduces, global, relationship, saying, bshould, aoccurs, ne, boccurs, bdoes, ict, changed, obligation, detected, bhowever, updated, unless, detect, icts, touched, detecting, simultaneous, equations, denitely, considering, counting, problem, finding, hassolution, activate, min, max, solve, ^max, shown, variables, multiple, logical, hon, indirect, obligations, advance, reated, bby, updating, triggered, assuming, bwill, obligatory, cto, cshould, occurrence, ato, dicult, assume, aoccurred, bonly, contains, equation, cant, bas, gure, fulllling, lower, awith, minimums, maximums, cwhich, contained, recursively, deeper, caused, chained, triggers, notresponse, notprecedence, notrespondedexistence, chainresponse, notchainresponse, chainprecedence, notchainprecedence, alternateresponse, alternateprecedence, source, java, developers, extend, generic, operational, environment, interact, external, management, connected, providers, implementing, provider, architecture, streamer, visualizer, plugin, conguring, operation, creates, received, independently, performing, solver, simulate, purpose, followed, modied, version, replayer, transmit, packet, transmitted, packets, sending, incoming, displays, selector, enables, warning, timestamps, colour, coded, fore, including, graphical, simpler, examples, increase, complexity, cation, tested, testing, representation, diagnosis, orderoccurs, withdiagnosis, ayment, datadiagnosis, indicated, correctly, recovers, resumed, easier, bwith, bto, turned, demonstrate, directly, demonstrates, numeric, hilip, coccurs, hilp, indication, remained, happening, bwas, chave, common, negation, ci, validate, satisfying, predict, aactivates, interestingly, activates, prediction, narrowed, deduce, balso, cmust, resulting, responce, cand, aoccur, predicted, doccur, extracted, selected, presented, respective, \administratief, tarief, eerste, pol, \vervolgconsult, poliklinisch, vervolgconsult, administratief, coexist, \aanname, laboratoriumonderzoek, \ordertarief, vice, aanname, ordertarief, producer, code, jj, maligne, neoplasma, cervix, uteri, \albumine, albumine, \telefonisch, consult, jjproducer, \alkalische, fosfatase, kinetisch, telefonisch, alkalische, attribute, \section, \specialism, \org, groupgeneral, lab, clinical, chemistry, specialism, org, \bacteriologisch, onderzoek, kweek, nie, groupmedical, microbiology, bacteriologisc, \cytologisch, ectocervix, \histologisch, biopten, nno, al, grouppathology, histologisch, cytologisch, pathology, actually, removing, processing, average, milliseconds, conclusion, wanted, demonstrated, successfully, eciency, implantation, easily, include, scope, improvement, interface, visualization