上一页 下一页

状态机模型仿真器

状态机表是状态机的表示,可以使用与状态机图完全相同的方式进行模拟

访问

使用表格形式显示状态机,使用此表中列出的任何方法开始模拟。

功能区

模拟>运行>开始,或

模拟>动态模拟>模拟器>打开模拟器窗口> 开始图标

上下文菜单

右键单击视图背景| 执行模拟| <解释或手动>

突出显示活动单元格

当模拟执行时,表格单元格会改变颜色以指示:

  • 当前活动状态 - “状态机选项:对话框”的“突出显示颜色”字段中设置的颜色,以及黑色边框
  • 潜在的下一个状态 - “突出显示颜色”字段中颜色的变体,或者,如果在“状态机选项:”对话框中选中“对目标状态使用不同的颜色”复选框,则在“目标”中设置颜色区域颜色字段
  • 活跃过度 - “状态机选项:”对话框的“转换单元”字段中设置的颜色
  • 触发器 - “状态机选项:”对话框的“突出显示颜色”字段中设置的颜色
  • 非活跃状态 - 灰色  

例如:

信号触发器

当将模拟作为图表运行时,模拟将自动遍历没有防护装置或经过验证的防护装置的过渡。除非触发了触发器,否则不会跟随具有触发器的转换。它们可以从模拟事件窗口自动触发,也可以通过右键单击过度或触发器单元并选择'模拟中的模拟触发'来手动触发触发器。

学到更多