示例状态-下个状态库表

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

触发从当前（行）状态到下一个（列）状态转换的事件
事件的条件（或守卫），以及
过渡效果

A State-Next State Machine Table using Sparx Systems Enterprise Architect.