Definitions

Graphs come with a set of common terms. To begin with, a graph is made up of a set of things, hereafter referred to as nodes and a set of connections between nodes , know as arcs .

These definitions cover the parts of a process definition. However, they don't cover how that process definition is actually executed. When a process definition gets executed, the execution is called a process . Somehow, a process must track which nodes are being executed. This is generally accomplished by placing markers called token on the active nodes.