有限状态机 交通灯控制逻辑建模 使用图表装置控制管道压力 产生电压故障 气温控制系统型号 使用状态动作和转换标签定义图表行为 自动变速器运行模拟 构建和运行状态流程图 健身手环控制逻辑的可视化设计 并行状态控制逻辑建模 电动车窗升降器