introduction, process, mining, management, technique, allowing, analysis, business, processes, based, event, recently, extensible, introduced, standard, sorting, exchanging, analysing, according, represents, activity, explicit, linked, specific, instance, events, related, grouped, execution, information, example, originator, source, device, starting, duration, data, elements, stored, automated, discovery, models, developed, main, purpose, extract, therefore, testing, evaluation, techniques, require, availability, unfortunately, contain, suitable, controlled, experiments, characteristics, thus, typical, approach, implemented, algorithms, synthetic, generated, simulation, create, predefined, attributes, analysts, control, exploratory, algorithm, recent, declarative, addition, research, focusing, development, involving, multi, perspective, community, working, dynamic, environments, differently, procedural, closed, assumption, explicitly, specify, allowed, behaviours, flexibility, highly, variable, compact, challenges, context, capability, supporting, specifications, exists, model, simulators, generators, available, simulate, generate, drawback, multiperspective, constraints, generation, needed, develop, declare, proposed, simulator, simulates, translating, finite, automata, user, instances, compliant, section, discusses, concept, modelling, represent, contains, organizational, workflow, executed, organization, structured, text, collected, systems, bpmss, ability, consists, collection, entries, sequences, carried, perform, activities, element, shown, attribute, description, understandable, lifecycle, transition, status, etc, timestamp, additional, containing, force, recognized, defines, analysed, support, correspond, opensource, reference, implementation, openxes, class, diagram, complete, meta, adapted, thesis, defined, using, originally, pesic, van, der, aalst, specifying, sequence, valid, comply, applied, temporal, ordering, constrain, constrains, templates, type, users, graphical, interface, semantic, constraint, corresponds, respective, template, independent, formal, analyst, representation, knowing, formulas, nodes, arcs, respectively, contrasted, approaches, applicable, illustrates, unpredictable, considering, indicated, permitted, determine, numerous, divided, existence, relation, unary, apply, branched, replacing, parameter, disjunction, parameters, notation, init, occur, correlate, ordered, unordered, un, positive, ii, negative, restricts, response, execute, eventually, stronger, version, re, strict, occurs, directly, preceded, precedes, specifies, future, suggests, negated, opposite, cant, symbols, executes, precede, combination, specified, less, exclusive, determines, fracture, treatment, procedure, involves, checkup, patients, risks, position, cast, uproot, operation, recovery, behavior, patient, alternateprecedence, risk, precedence, surgery, occurrence, medical, necessary, applying, repositioning, required, effects, issues, factors, allergies, pregnancy, completed, staff, positions, performing, undergo, discussed, previous, sections, focuses, condition, format, sake, simplicity, differentiate, payload, special, character, define, activation, activate, activations, greater, applycast, removecast, caststatus, activated, deterministic, labelled, system, alphabet, function, target, initial, sf, non, accepting, omit, qualification, remainder, tuples, tuple, largest, sn, concatenation, tn, characters, ti, accepted, n], fsas, product, connection, operand, isomorphism, corresponding, res, equivalent, derives, conjunction, integer, linear, programming, optimization, objective, variables, xn, respect, equality, inequality, problem, maximizing, minimizing, fractional, solutions, accurate, consider, maximize, profits, utilizing, resources, decision, integers, called, program, limited, mixed, solving, problems, solver, lp_solve, freely, lesser, license, solve, download, methods, researcher, hee, liu, presented, framework, petri, representing, topological, cpns, widely, utilized, provides, modification, moreover, generates, random, results, produced, extended, mined, burattin, sperduti, secsy, standalone, application, executions, creates, includes, deviations, original, result, security, suited, frameworks, produce, newly, strategies, configuration, options, covering, immediately, subsequent, within, prom, plugin, token, easily, researchers, developers, functions, relatively, exported, applications, described, latest, transitions, hybrid, userdriven, extension, proceduralbased, inherent, manage, particularly, generating, input, showing, effectiveness, replication, existing, reasonably, integration, modeling, graph, structure, benchmarking, specification, laurent, alloy, finding, method, modeler, design, phases, understanding, modeled, phase, primordial, confirm, command, scripts, depicted, illustrate, consist, namely, split, verified, basis, obtained, minerful, created, complies, resulting, received, added, details, validity, combinations, duplications, splits, conditionspliting, cleaning, invalid, acvitiviesadd, ranges, charactersassign, activitescreate, restore, nameadddata, genretaion, appraoch, denoted, similarly, followed, spliting, contribution, checked, conditions, translated, equation, equations, solved, detailed, listed, range, null, max, min, assign, taskchar, mapped, via, inputs, minimum, maximum, per, iii, total, resulted, output, core, differs, actual, altering, assigns, selected, final, location, storing, provided, include, sample, alternate, responded, evaluate, fixed, taskchars, removed, including, correlated, alternateresponse, chainresponse, respondedexistence, notsuccession, converted, tabular, introduce, highlighted, colour, immediate, hence, repeating, activating, exactly, requirement, looking, maxim, performance, assessment, conducted, equipped, intel, usable, memory, eclipse, java, coding, slightly, average, sub, faster, compared, higher, conclude, conclusion, wanted, performances, address, developing, translate, usage, detecting, violating, knowledge, automaton, theorem, challenging, experimented, showed, capable, reasonable, current, adding, feature, mainly, constituent, implement, correlation, logical, operators, currently, operator, naming, splitting, numeric, improved, furthermore, affect, designer, intuitive, difficult, issue, acknowledgements, allah, almighty, prophet, directed, humanity, pursue, discrimination, express, gratitude, university, tartu, providing, excellent, environment, institute, supervisor, dr, fabrizio, maria, maggi, claudio, vienna, ignited, critical, abilities, indebted, guidance, significant, assistance, colleagues, betssongroup, patience, endless