示例状态 - 下一状态表

行和列都指示状态，行和列交叉处的单元格指示：

触发从当前（行）状态到下一个（列）状态的转换的事件
事件的条件（或警告），和
转型的影响