状态机 资料库 状态机 包含基于*Engee*有限自动机的离散系统建模和分析工具。使用块图表 ,您可以创建状态图、定义转换和动作,并根据状态机逻辑和转换图来控制系统的行为(详见有限状态机 )。 图表 使用有限自动机实现控制逻辑。