1、选择性分支状态转移图
从多个流程顺序中选择执行一个流程，称为选择性分支。图1就是一个选择性分支的状态转移图。
图1 选择性分支状移图
该状态转移图有三个流程图，S20为分支状态 ，根据不同的条件（ X0,X10,X20）, 选择执行其中一个条件满足的流程。 X0，X10，X20不能同时为ON，S50为汇合状态，可由S22、S32、S42任一状态驱动。
2、选择性分支、汇合的编程
编程原则是先集中处理分支状态，然后再集中处理汇合状态。
（1）分支状态的编程
编程方法是先进行分支状态的驱动处理，再依顺序进行转移处理。
图1的分支状态S20 见图2
图2 图1中 S20 的分支状态
按分支状态的编程方法，首先对S20进行驱动处理（OUT Y0），然后按S21、S31、S41的顺序进行转移处理。
（2）汇合状态的编程
编程方法是先进行汇合前状态的驱动处理，再依顺序进行向汇合状态的转移处理。
图1的汇合状态及汇合前状态，如图3所示。
按照汇合状态的编程方法，依次将 S21、S31、S32、S41、S42的输出进行处理，然后按顺序进行从 S22（第一分支）、S32（第二分支）、S42（第三分支）向S50的转移。
图3 汇合状态 S50
