状态转移网络，描述一个响应式系统的序列状态。