状态―迁移图用于（）建模，状态中包含（），状态因（）发生转移。