规则6：IF语句（含多个else分支）
　　图6.11给出含有多个分支的IF语句的图表示。
　　注意每个分支的条件都是前面各分支不成立且当前条件成立。实际应用时各条件会进行化简。
　　由于case语句都可以改写为具有多个else 分支的if语句的形式，因此case语句的图表示规则不再另外给出。
　　规则7：while 语句
　　while语句的图表示被改写为包含if顶点的形式，同时包含一个有向环，从而实现循环语句的行为特性。
　　根据这些规则，我们可以很容易地画出上例的流程图，如下图所示：

　　有一些不被接受的进程语句。如果进程语句P对应的图表示G(P) 中出现满足下述条件的有向环，则该进程语句是不合法的：环上的顶点无wait语句，或者环中各条边上标注的的条件全部为真。上述情况分别对应下面两种情形：while语句的循环体中没有wait语句；或者整个语句部分没有wait语句。在模拟中这两种情形都会导致一个永不停止的模拟周期，因此在有限状态机模型中也是无法处理的。