状态下一个状态表示例

行和列均指示状态，行和列相交处的单元格指示：

• 触发从当前（行）状态到下一个（列）状态过渡的事件
• 事件的条件（或警卫），以及
• 过渡的影响