chapter, introduction, urgent, demand, developing, information, systems, fully, support, business, processes, institutions, organizations, general, rapidly, changing, impose, frequent, modication, updates, leading, constant, decrease, terms, span, life, cycle, process, denition, context, functionality, aware, compliance, monitoring, ability, verify, whether, actual, ow, compliant, intended, model, imperative, petri, nets, declarative, declare, suitable, approach, unpredictable, modelling, allow, modeller, design, possible, execution, compact, set, constraints, focus, interesting, contradict, allowed, thesis, developed, technique, tool, analyse, complex, data, runtime, sequence, analysis, checking, individual, detection, violations, using, integer, linear, programming, particular, identify, single, isolation, derive, interplay, implemented, client, server, application, event, log, instantaneously, post, results, user, friendly, format, veried, synthetic, solution, mining, prom, making, available, researchers, industry, experts, outline, background, literature, review, used, verication, discuss, dataaware, determined, details, implementation, validation, future, describe, outcome, address, following, questions, monitor, respect, control, proposed, applicable, studies, related, \branch, verifying, observed, behaviour, recorded, conformant, given, provided, form, conformance, clear, distinction, mostly, postmortem, being, perform, components, type, procedural, perspective, looking, multi, temporal, resource, allocation, distribution, quality, service, etc, example, consider, consisting, activities, abcd, based, check, evaluate, occur, \who, performed, \what, evaluated, hospital, scenario, indicate, medical, test, treatment, patient, addition, limit, eld, categorised, bulk, ignoring, replaying, measure, comparing, stream, generated, derived, alignment, aligning, modelled, reliable, taking, provides, mentioned, earlier, environments, initial, focused, classication, evolution, basis, metric, logic, crucial, organisation, starting, mobucon, flow, mobocon, theory, extended, however, comparison, dierent, challenges, capability, supporting, aim, practical, fundamental, concepts, required, understand, main, improve, extracting, knowledge, standardized, extensible, markup, language, standard, extendible, successor, refers, dened, instance, belonging, trace, 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, anything, specied, considered, acceptable, closed, forbidden, therefore, exibility, designers, grouped, categories, existence, relation, negative, choice, unary, absence, exactly, symbol, description, init, suggest, state, un, forbid, constrains, relative, responded, bmust, co, vis, versa, response, eventually, precedence, amust, occurred, succession, athere, band, bhas, preceded, ahad, alternate, repetition, ais, executed, bis, acan, rst, bcannot, chain, immediately, respondedexistence, tasks, bcan, bthere, cannot, aif, bsecond, aand, exclusive, further, previous, section, capture, cardinality, conditions, added, [activation], [correlation], [temporal], relates, activation, dataformat, similarly, target, active, abandons, hip, rank, imply, equal, correlation, apply, contain, aymentrecieved, dispachorder, pendingbalance, id, activated, aymentrecievedoccurs, require, dispachorderto, idwhich, idofp, value, unit, sfor, mfor, hfor, dfor, interpreted, datapendingbalance, idequal, within, designed, designing, plugins, simple, editor, modifying, method, achieve, optimal, mathematical, requirements, represented, nd, xwhen, giving, going, ahead, dene, default, maximum, minimum, otherwise, innite, range, false, variable, possibilities, choose, positive, stage, xis, mx, conceder, xshould, less, xwill, greater, adding, reduce, xand, closer, satisfy, longer, xmust, newly, expressions, ilps, nding, explained, coming, working, analyzer, engine, plug, oine, internal, understanding, checklogconformance, reported, algorithm, burattin, input, output, fullling, violating, constrants, ullf, ill, andviol, maps, foreach, odel, viol, checktraceconformance, constr, viol[][], ill[][], fulll, described, checktraceconformancecan, framework, operations, opening, called, per, fullments, supposed, closing, procedure, analyzed, item, pending, correlated, satised, corresponding, entire, processed, ulf, ilment, ifverif, verf, nfact, ulillments, factg, pendng, tmplate, illments, current, non, nonemptysetof, corellation, invoked, settings, 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, invoking, accept, session, ull, heckt, racec, onf, ormance, [][], analyser, currently, recover, depend, criterion, fulllments, total, poss, voil, ^f, ^p, receive, nal, sate, pendingactivations, possiblyviolated, possiblysatised, ifstate, permanentlysatised, permanentlyvoilated, voilations, degree, healthiness, weight, compared, calculate, normalized, health, reduced, index, score, con, icting, dealt, introduces, global, saying, bshould, aoccurs, ne, boccurs, bdoes, ict, changed, obligation, detected, bhowever, updated, unless, detect, touched, detecting, treat, simultaneous, equations, denitely, considering, counting, finding, hassolution, activate, min, max, solve, ^max, shown, multiple, logical, hon, deal, indirect, advance, direct, reated, bby, updating, triggered, assuming, bwill, obligatory, cto, cshould, occurrence, ato, dicult, assume, aoccurred, bonly, cant, bas, gure, fulllling, lower, awith, cwhich, till, contained, recursively, deeper, caused, chained, triggers, notresponse, notprecedence, notrespondedexistence, chainresponse, notchainresponse, chainprecedence, notchainprecedence, alternateresponse, alternateprecedence, source, java, platform, developers, extend, generic, operational, interact, external, management, connected, providers, implementing, architecture, streamer, visualizer, running, conguring, creates, received, separate, independently, performing, solver, simulate, purpose, followed, modied, version, replayer, transmit, packet, transmitted, sending, incoming, forwards, displays, selector, enables, select, warning, message, colour, coded, match, fore, including, graphical, simpler, increase, complexity, cation, tested, testing, representation, diagnosis, remains, orderoccurs, withdiagnosis, ayment, datadiagnosis, indicated, correctly, resumed, fails, easier, bwith, bto, turned, sense, demonstrate, directly, strings, numeric, hilip, neither, coccurs, hilp, indication, likely, remained, happening, bwas, chave, share, common, negation, ci, validate, satisfying, predict, aactivates, interestingly, prediction, narrowed, deduce, balso, cmust, resulting, responce, cand, predicted, doccur, chosen, extracted, selected, presented, respective, \administratief, tarief, eerste, pol, \vervolgconsult, poliklinisch, vervolgconsult, administratief, coexist, \aanname, laboratoriumonderzoek, \ordertarief, vice, aanname, ordertarief, age, producer, code, jj, maligne, neoplasma, cervix, uteri, \albumine, albumine, \telefonisch, consult, jjproducer, \alkalische, fosfatase, kinetisch, telefonisch, alkalische, \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, reason, processing, average, milliseconds, taken, conclusion, beginning, wanted, demonstrated, successfully, eciency, implantation, easily, include, scope, improvement, interface, visualization