6.5 同步时序电路的有限状态机模型 6.5.2 从进程语句建立子模型 　4. 产生执行树 　为了正确地处理变量赋值语句和标识不可化简的变量，需要将流程图进一步表示为这样一种形式：在这种表示中一个变量要么是可化简的，要么是不可化简的。为此，我们把进程转换语句的图表示转化为执行树。所谓执行树，就是将原来流程图中的所有分支简单展开，执行树的根节点就是原来的初始节点，每一个叶子节点后都是合并wait语句，每一条路径都是一种可能的执行情况。这样从根节点到叶子节点就只有唯一一条路径，也就排除了有些变量既是可化简变量， 又是不可化简变量的情况。