introduction, business, processes, supported, information, systems, process, executions, called, event, example, execution, technical, issue, submits, tech, support, handled, specialist, solved, solve, troubleshooting, submission, closing, logged, events, typically, timestamp, mining, improving, analysis, analysing, insight, gained, organisations, decision, main, discovery, conformance, checking, model, enhancement, creating, prior, discrepancies, existing, contained, models, described, variety, imperative, declarative, notation, activity, diagrams, petri, transitions, allowed, forbidden, visually, representing, generated, using, techniques, tend, complex, unpredictable, environment, rarely, deviate, usual, pattern, explicitly, prohibited, expressed, temporal, logics, regular, expressions, logic, programming, flexible, compact, suited, describing, behaviour, appropriate, exceptions, thesis, focus, discovering, linear, queries, ltlminer, created, performance, compared, solution, experiments, synthetic, intent, create, data, analyse, effectiveness, starting, technique, contains, instances, contain, represents, happening, related, originator, executed, lifecycle, transition, started, completed, cancelled, types, common, type, creates, priori, challenge, simplest, behaviours, optimising, compliant, result, alignment, deviations, improved, resembles, closely, situation, inputs, output, prom, framework, provides, source, plugins, implement, algorithms, visualisation, usually, stored, formats, based, format, specifically, designed, object, objects, multiple, attributes, elementary, integer, floating, boolean, id, furthermore, extensions, define, appendix, software, therefore, converted, application, developed, http, www, processmining, org, standard, modal, modalities, referring, expression, changing, propositional, adding, unary, binary, operators, defined, finite, atomic, propositions, constants, logical, globally, eventually, formulas, formula, occur, position, substituted, [], _o, operator, future, proposition, _u, query, followed, declare, constraints, graphically, user, classifies, constraint, templates, existence, relation, negative, template, targeted, activities, equivalents, exactly, absence, init, properties, specifies, minimum, instance, responded, alternate, response, co, precedence, succession, relationship, indicates, requires, apply, require, strictest, consists, immediately, java, henceforth, referred, automatically, generate, input, populated, combinations, arguments, applied, pre, percentage, placeholders, program, valid, implementation, ltlchecker, core, plugin, verify, extension, containing, timestamps, originators, basic, algorithm, function, recursively, evaluates, finding, sub, evaluated, unique, denote, parameters, co_existence, total, default, repeating, possibility, argument, accepted, combination, https, github, com, pickaxe, rename, definitions, added, workflowmodelelement, evaluate, final, filter, threshold, returned, rewritten, parser, difficult, knowledge, improvements, previously, surrounded, parentheses, changed, scope, delegate, wrapper, generates, verification, filters, easily, operating, parsing, openxes, dependent, equation, us, assume, ordering, complete, ordergoods, receiveinvoice, payinvoice, receivegoods, recordtransaction, rejectinvoice, rejectgoods, notcoexistence, satisfy, results, void, exception, \\, xlog, xlogreader, openlog, src, resources, ordergoodslog, xes, arraylist, rulemodel, system, println, getcoverage, getltlrule, usage, junit, thoroughly, explained, section, activitypayinvoice, activityrejectinvoice, activityrejectgoods, activityreceivegoods, users, specific, replacements, parameter, supports, non, replaced, evaluation, tested, programs, identical, checked, average, calculated, measured, finished, server, cores, memory, saved, differed, per, minerful, testing, fixed, ltlminertlqc, applications, similar, significant, individual, significantly, faster, quicker, alternateprecedence, coexistence, volvo, belgium, performed, existnence, chainpredenence, chainresponse, chainsuccession, respondedexistence, notsuccsession, notchainsuccession, alternateresponse, alternatesuccession, tlqcltlminer, runtime, conclusions, substantially, parallel, gigabytes, probably, bottlenecked, available