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