introduction, business, processes, supported, information, systems, record, process, executions, called, event, logs, example, following, technical, issue, submits, tech, support, ticket, handled, specialist, solved, given, someone, solve, troubleshooting, submission, closing, logged, typically, timestamp, mining, aims, improving, analysis, analysing, valuable, insight, gained, organisations, decision, making, main, discovery, conformance, checking, model, enhancement, creating, prior, discrepancies, existing, goal, improve, contained, described, variety, languages, classes, imperative, declarative, notation, driven, chains, activity, diagrams, petri, nets, transitions, allowed, forbidden, useful, visually, representing, generated, using, techniques, tend, complex, describe, unpredictable, used, stable, environment, rarely, deviate, pattern, allow, explicitly, prohibited, expressed, temporal, logics, regular, expressions, programming, flexible, compact, suited, describing, behaviour, appropriate, exceptions, thesis, focus, discovering, linear, queries, tool, ltlminer, created, performance, compared, solution, experiments, synthetic, background, intent, create, check, data, analyse, effectiveness, starting, contains, instances, building, represents, happening, related, originator, executed, lifecycle, started, completed, cancelled, types, common, priori, challenge, simplest, optimising, compliant, trace, result, alignment, major, deviations, improved, resembles, closely, situation, inputs, output, prom, framework, provides, source, plugins, implement, algorithms, visualisation, usually, stored, formats, based, specifically, designed, object, multiple, attributes, string, elementary, dates, integer, floating, boolean, id, values, furthermore, extensions, define, appendix, software, therefore, converted, application, developed, files, http, www, processmining, org, standard, modal, modalities, referring, truth, changing, built, propositional, adding, unary, binary, operators, defined, finite, set, atomic, propositions, constants, false, logical, globally, finally, eventually, formulas, occur, position, substituted, [], _o, future, _u, followed, declare, constraints, graphically, user, write, classifies, templates, existence, relation, negative, choice, targeted, equivalents, exactly, absence, init, properties, single, specifies, minimum, responded, alternate, response, co, precedence, succession, relationship, indicates, requires, apply, strictest, consists, cannot, immediately, java, henceforth, referred, automatically, generate, populated, possible, combinations, arguments, applied, pre, percentage, placeholders, program, valid, implementation, ltlchecker, core, verify, containing, basic, function, recursively, evaluates, finding, match, sub, evaluated, unique, denote, parameters, co_existence, length, total, default, repeating, possibility, accepted, copy, github, com, pickaxe, fifth, rename, sixth, definitions, added, ahead, workflowmodelelement, seventh, eighth, filter, threshold, returned, rewritten, library, parser, difficult, knowledge, improvements, previously, accept, surrounded, parentheses, changed, further, scope, delegate, wrapper, verification, written, easily, operating, parsing, openxes, dependent, equation, guide, assume, ordering, complete, ordergoods, receiveinvoice, payinvoice, receivegoods, recordtransaction, rejectinvoice, rejectgoods, notcoexistence, satisfy, test, public, void, \\, miner, xlog, xlogreader, openlog, src, resources, ordergoodslog, arraylist, rulemodel, println, getcoverage, getltlrule, usage, junit, amount, thoroughly, explained, section, activitypayinvoice, activityrejectinvoice, activityrejectgoods, activityreceivegoods, select, specific, replacements, non, replaced, evaluation, tested, identical, checked, average, calculated, measured, reading, finished, server, memory, saved, differed, per, minerful, testing, chart, fixed, ltlminertlqc, similar, significant, difference, taken, individual, significantly, faster, however, quicker, alternateprecedence, coexistence, volvo, belgium, performed, existnence, chainpredenence, chainresponse, chainsuccession, respondedexistence, notsuccsession, notchainsuccession, alternateresponse, alternatesuccession, running, tlqcltlminer, runtime, conclusions, substantially, parallel, gigabytes, bottlenecked, available