chapter, introduction, nowadays, variety, dierent, techniques, methods, analyzing, business, processes, existence, modeling, notations, hence, generates, necessity, translation, especially, evident, analysts, prefer, visual, human, readable, process, models, activity, diagrams, textual, descriptions, model, analysis, petri, input, performance, mining, estimation, understood, exist, solid, literature, surprisingly, exception, probably, reported, consider, instance, currently, generate, planning, perform, produce, starting, inspiration, thesis, edric, favre, dirk, fahland, hagen, olzer, represent, bidirectional, method, ow, graphstowork, algorithm, formed, theoretically, aware, implementation, thus, rst, implement, netand, generated, application, performs, returning, reasonable, output, experience, decided, explore, restriction, example, confusion, particular, symmetric, characterized, including, clusters, transitions, subset, con, ict, themselves, concurrent, topology, similar, illustrated, gure, longer, produced, discovery, technique, confusions, petr, types, referred, asymmetric, algorithms, transforming, approach, targets, specically, notation, representative, mainstream, results, reused, epcs, document, organized, introduce, basic, concepts, existing, transformation, viceversa, related, measurements, conclude, discuss, future, mathematical, formalism, serves, foundation, design, systems, intuitively, bipartite, graph, nodes, called, connected, arcs, formally, triple, prefers, nite, represents, trefers, execution, fstands, connecting, moreover, arc, fa, jp, marking, refers, imarking, status, meaning, tokens, node, predecessors, fy, fg, successors, denote, union, subclasses, structural, behavioral, dening, firstly, source, token, presenting, handled, reachable, fsource, minimal, requirements, necessarily, addition, aforementioned, restrictions, comply, properties, completion, liveness, boundedness, conjointly, soundness, iamount, markings, sourceplace, remaining, additionally, required, re, bounded, contain, includes, initial, saf, deadlocks, simply, reache, situation, twhich, guarantees, deadlockfree, degrees, whentwill, sequence, potential, tis, tcan, innitely, sequences, subclass, usually, sharing, split, construct, predecessorshas, representation, freechoice, fpg, pto, transition, trendy, topic, decade, capability, analyzed, expressive, standard, capture, highly, domains, designing, developed, inherits, elements, previously, denition, composed, exible, visualizing, separated, events, action, resulting, subsequently, divided, intermediate, event, accordingly, timer, error, sending, receiving, interval, errors, exceptions, context, activities, subdivided, tasksandsubprocesses, core, element, performed, concept, ransitionin, pertinent, user, manual, script, andreference, sub, denes, compound, boxed, subprocesses, embedded, andindependent, considered, main, independent, attributes, loopingormultiple, instances, normal, exceptional, happening, represented, attached, errorortimer, boundary, ows, executed, getaways, specify, multiple, alternative, gateway, subsequent, type, similarly, joint, converge, parallel, gateways, synchronizing, concurrency, joingateways, oin, based, external, data, oris, def, erredchoice, orgetaway, marge, getaway, incoming, implies, triggered, continue, decision, outgoing, preceded, essage, relative, communication, interacting, focus, constructs, xorandand, scope, ignored, mentioned, investigated, theoretical, decades, explanation, support, wo, woped, precise, technical, candidate, visualize, complicated, looking, descriptive, issue, science, bulk, translate, section, current, translating, explicitly, covered, byproduct, contrast, provides, grounded, theory, deeper, discussion, later, subsection, relationship, graphs, nevertheless, article, solution, mapping, concentrate, ntow, require, normalized, limited, complexity, graphw, ncalled, xelement, xwill, xnormal, shown, patterns, netelements, ontocon, claims, decompose, breaking, onto, straightforward, nget, using, pattern, identify, according, nodetow, adjust, nodesinw, identifying, sourcepalace, nand, nodeinw, sinkplace, identied, highlighted, illustrate, iterating, identies, translates, result, gures, easily, noticed, isomorphic, gettingcon, cluster, workset, nplaces, normalize, adding, additional, assume, bthan, noticeable, incomplete, propose, complete, narrowed, class, highlight, choicework, extend, broaden, coverage, eld, remco, dijkman, marlon, dumas, chun, ouyang, described, presented, ob, ject, jects, exists, corresponding, non, actual, syntax, andorsplit, andorj, dened, achievable, applying, nalize, proved, convert, research, series, artem, polyvyanyy, luciano, garca, banuelos, structuring, acyclic, structured, vice, versa, fragment, entry, subgraph, provide, version, relies, transformations, preserve, equivalence, decomposed, fragments, structurally, unstructure, unfolded, occurrence, computing, behavior, relation, summarises, relations, observed, journal, allowed, multi, merge, control, aspect, mapped, partial, although, publication, converting, hierarchical, decomposition, specic, graphical, editors, unreadable, supports, converters, produces, specication, claimed, transformers, gaps, accurate, interestingly, articles, describing, opposite, researches, commitment, transform, benet, intuition, analyze, spec, modules, modular, reformation, module, constructed, recursively, fv, gbe, vis, vertexes, eedges, lis, labels, denoted, function, generating, dtgiven, [a, [c, ]], us, classify, mof, mmodule, kg, jj, mhas, linear, mwhere, mnon, classied, primitive, unfolding, producing, isconditions, eisevents, andfis, bj, ff, nit, isuunfolded, pe, getp, extensions, cutof, letevent, if[e, conditions, activated, ifu, isc, uttof, eis, cuto, fevent, cuttof, system, applied, eventswhich, components, followed, condition, initialized, apply, correctly, contribution, pass, transformed, executing, behaviour, matrix, duplicate, merging, included, processed, resolve, duplicates, modied, added, relevant, copied, nal, splits, cleaned, introduced, depth, examples, aand, behaviourally, generally, speaking, theaand, disable, athe, bnever, anymore, theais, causality, cif, awill, enable, cor, bwhich, enabling, cand, ain, transitive, sequentiality, independence, aect, usally, parallelism, resulted, compute, provided, computes, ordering, updates, local, conguration, directed, computed, encopies, curr, letp, np, mdt, computemdt, createandaddprocessgraph, nd, introduces, iteration, avoid, complex, duplicated, original, esuch, identical, corresponds, working, repeatedly, execute, pand, qsuch, qcontains, pcontains, qmust, maximal, fb, gare, consistent, requirement, maximally, openset, exclude, pbecause, iterate, undirected, absence, encoding, enables, proceed, gthen, global, computem, dtfunction, argument, visualization, d], a], create, discussed, inital, resuly, dose, contains, eevent, ewas, cutoevents, cutos, ncopies, corr, eje, ^corr, translated, je, ife, ^e, f^, copiesof, ek, missing, fevents, fc, cevent, selected, pmust, currwhich, fbg, qwill, pset, actually, dhave, cwith, slightly, nwith, dwill, tuples, tuple, qin, successor, irstelementor, irstelement, bhas, cset, comparably, icts, intersection, fand, eare, ewhich, ein, fbut, enot, gcopy, fin, eand, correspond, \copies, leti, qand, qni, ni, assuming, likewise, previous, iin, eso, currandi, pwill, fe, newly, created, qexcluded, feg, ievents, nall, ccon, din, pevents, problem, bbeing, solve, mirroring, dand, intersections, notable, demonstrate, smallest, apprise, valid, gbut, ncuto, fcurr, exaction, reform, openfg, correspondingly, curris, gcorresponding, qsets, carefully, include, qset, qwhich, replicating, eventually, mdts, andp, computation, visited, orp, lter, whether, simplest, ventwithout, connection, ts, ccan, cwhich, consequently, orgateway, dgateway, splitgateway, joingateway, lbeing, hassling, dgateways, awhich, constructing, trivial, doing, tau, exceptionally, implicit, removed, changing, clearly, placesthat, apparently, modify, existences, tautransition, obviously, comparison, justify, implemented, dierences, translations, laptop, dual, ghz, processor, memory, environment, java, virtual, sample, removing, average, collection, published, purposes, essentially, ended, observing, dataset, label, unique, labeling, rename, proceeding, analyses, implementations, minimum, maximum, milliseconds, excluding, plot, exponentially, growing, precisely, whereas, dierence, nonetheless, faster, exponential, conclusion, interest, industrial, practical, devoted, aimed, implementing, translator, expanding, beyond, justied, concentrated, prototype, preliminary, experiments, thereof, tackled, correctness, completeness, requires, understanding, formalisms, therefore, natural, extension