主要内容

州流程图表

以图形形式设计模态逻辑

具有有限数量状态的模型系统。使用状态以图形方式表示系统的模式。条件转换提供这些模式之间的途径。通过状态和转换的操作控制系统的行为。

展开全部

图表 用有限状态机实现控制逻辑
国家过渡表 代表表格格式的模态逻辑
真相表 代表具有条件,决策和行动的逻辑决策行为

职能

展开全部

sfnew. 创造金宝app包含空的模型州流程堵塞
SFLIB. 打开州流程图书馆窗口
州流程 打开州流程库窗口并创建金宝app包含空图表的模型
SFOPEN. 打开现有金宝app模型
sfclose. 关闭州流程图表
sfsave. 在当前文件夹中保存图表
SFPRINT. 打印图表的图形视图
sfhelp. 打开州流程网上帮助
sfdebugger. 打开州流程调试器
sfexplr. 开放式资源管理器
SFPREF. 查看并调整用户首选项州流程图表

话题

有限状态机概念

使用状态流模型有限状态机®图表。

使用状态表示操作模式

创建状态以描述反应系统的操作模式。

操作模式之间的转换

使用条件转换为状态之间的路径。

结合过渡和结来创建分支路径

在转换路径中创建决策点。

状态流图建模指南

通过使用状态,转换和事件有效地模拟图表。

命名状态垃圾对象的指南

保留的关键字,名称长度限制和命名限制。

模型装配线送料器

根据馈线系统的操作模式编程图表。