状態遷移を表現するためにMBTでよく使われるモデルはどれか。

MBTプロセスの最初のステップとして適切なものはどれか。