We now define an execution of a process as a tree of tokens.

• 我们现在定义一个流程的执行作为一个令牌树。