状态触发表示例

这些行指示当前状态，而各列指示触发事件（或者，如果您愿意，则以“触发-状态”格式相反）。

如果发生触发，则行与列相交处的单元格将标识转换中的目标状态，以及转换的条件（或保护条件）。