introduction, process, mining, rising, management, technique, allowing, analysis, business, processes, based, event, logs, recently, extensible, stream, introduced, standard, sorting, exchanging, analysing, according, represents, activity, explicit, linked, specific, instance, related, grouped, single, execution, known, trace, extra, information, example, originator, source, device, starting, duration, data, elements, stored, automated, discovery, models, developed, main, purpose, extract, useful, therefore, testing, evaluation, tools, require, availability, unfortunately, files, contain, suitable, controlled, experiments, given, characteristics, thus, typical, approach, implemented, algorithms, synthetic, generated, simulation, create, predefined, attributes, allow, analysts, control, exploratory, settings, tune, recent, declarative, addition, research, focusing, development, involving, multi, perspective, community, working, dynamic, environments, differently, procedural, closed, assumption, explicitly, specify, allowed, behaviours, enjoy, flexibility, describe, highly, variable, compact, challenges, context, capability, supporting, specifications, exists, simulators, generators, available, simulate, generate, drawback, multiperspective, constraints, generation, needed, develop, declare, proposed, translating, finite, state, automata, user, length, compliant, background, section, discusses, concept, modelling, organizational, workflow, executed, organization, structured, text, collected, systems, bpmss, ability, consists, collection, entries, sequences, carried, perform, shown, description, understandable, lifecycle, transition, status, etc, timestamp, additional, containing, task, force, recognized, steam, defines, exchange, analysed, support, correspond, engine, opensource, reference, implementation, library, openxes, class, diagram, complete, meta, adapted, thesis, defined, using, language, originally, pesic, van, der, aalst, rather, specifying, set, valid, comply, applied, temporal, ordering, constrain, templates, understand, type, graphical, interface, semantic, respective, independent, formal, representation, knowing, hidden, formulas, nodes, arcs, respectively, contrasted, applicable, illustrates, unpredictable, considering, indicated, permitted, determine, numerous, divided, major, existence, relation, choice, unary, apply, however, branched, replacing, parameter, disjunction, notation, init, occur, used, correlate, ordered, unordered, un, positive, ii, negative, restricts, response, execute, eventually, stronger, version, re, strict, following, whenever, directly, preceded, cannot, precedes, future, suggests, negated, opposite, cant, symbols, combination, choose, specified, less, exclusive, fracture, treatment, procedure, involves, checkup, patients, check, risks, ray, position, settle, cast, uproot, operation, recovery, behavior, alternateprecedence, precedence, remove, surgery, occurrence, medical, stage, necessary, applying, repositioning, taken, required, due, effects, health, issues, factors, allergies, pregnancy, completed, staff, possible, performing, undergo, discussed, previous, focuses, flow, condition, format, sake, simplicity, differentiate, payload, character, activation, activate, value, greater, applycast, removecast, caststatus, activated, equal, false, deterministic, labelled, alphabet, having, function, target, initial, sf, non, accepting, omit, qualification, remainder, tuples, largest, sn, string, concatenation, tn, ti, accepted, n], fsas, product, connection, operand, isomorphism, corresponding, equivalent, derives, conjunction, integer, linear, programming, optimization, objective, xn, respect, equality, inequality, maximizing, minimizing, subject, fractional, solutions, accurate, consider, maximize, goal, profits, utilizing, resources, decision, called, pure, program, limited, mixed, solving, solver, lp_solve, freely, lesser, general, public, license, solve, download, test, methods, researcher, hee, liu, presented, framework, petri, nets, representing, topological, colored, cpns, widely, utilized, provides, modification, moreover, random, results, produced, extended, mined, burattin, sperduti, secsy, standalone, application, includes, deviations, original, security, suited, produce, newly, strategies, configuration, options, covering, immediately, subsequent, within, prom, plugin, direct, token, driven, plug, easily, miners, developers, simple, relatively, exported, described, latest, hybrid, userdriven, extension, proceduralbased, inherent, manage, particularly, generating, input, showing, effectiveness, replication, existing, reasonably, amount, integration, art, modeling, graph, structure, benchmarking, laurent, alloy, finding, valuable, modeler, design, phases, understanding, being, modeled, primordial, confirm, command, write, scripts, depicted, namely, chart, split, verified, basis, obtained, minerful, created, resulting, received, added, finally, details, validity, duplications, below, conditionspliting, cleaning, invalid, acvitiviesadd, ranges, charactersassign, activitescreate, restore, nameadddata, genretaion, appraoch, denoted, similarly, followed, spliting, contribution, checked, translated, equation, solved, detailed, listed, null, max, min, assign, map, taskchar, mapped, via, minimum, maximum, per, iii, total, resulted, output, core, differs, actual, altering, selected, location, storing, services, provided, sample, alternate, chain, responded, evaluate, fixed, removed, including, correlated, alternateresponse, chainresponse, respondedexistence, notsuccession, converted, tabular, introduce, highlighted, colour, immediate, hence, repeating, activating, exactly, requirement, proper, looking, clear, reader, maxim, performance, assessment, conducted, equipped, intel, usable, memory, eclipse, java, coding, slightly, average, column, sub, faster, compared, higher, conclude, conclusion, wanted, questions, tried, address, developing, translate, usage, detecting, violating, knowledge, automaton, theorem, life, challenging, experimented, showed, capable, reasonable, improve, current, adding, feature, mainly, constituent, implement, correlation, logical, operators, currently, naming, splitting, spaces, numeric, improved, furthermore, affect, designer, intuitive, terms, difficult, acknowledgements, praises, allah, almighty, blessings, holy, prophet, directed, humanity, pursue, discrimination, express, gratitude, university, tartu, providing, excellent, institute, supervisor, dr, fabrizio, maria, maggi, claudio, vienna, ignited, critical, indebted, guidance, significant, assistance, grateful, colleagues, betssongroup, members, prayers, patience, endless