状态图是反应系统的模型。该模型定义了一组有限的状态和行为，以及当某些条件为真时，系统如何从一种状态过渡到另一种状态。
状态图用于动态系统中的复杂逻辑建模，从自动变速器到机器人系统再到移动电话。这种复杂逻辑的示例包括：
- 为系统安排一系列任务或步骤
- 决定性的故障检测、隔离和恢复逻辑
- 监督如何在不同的操作模式之间切换
基于传统的有限状态机，状态图提供了额外的功能，包括：
- 大规模系统的分层状态建模
- 添加流图以定义复杂决策逻辑
- 定义正交状态以表示具有并行性的系统
有关建模状态图（包括这些高级技术）的更多信息，请参阅状态流®和万博1manbetx®.
