什么是行为等价性（Behavioral Equivalence）简单来说，两个流程如果可以出现的行为（集）是一样的，那么它们就是等价的。然而，对于流程模型来说，还是存在几种等价性，这些等价性有些微妙的差别。下面介绍这几种等价性：行迹等价性（Trace Equivalence）、互相似性（Bisimilarity）和分支互相似性（Branching Bisimilarity）。行迹等价性（Trace