上一页 | 下一页 |
状态机模型仿真器
状态机表是状态机的表示,可以使用与状态机图完全相同的方式进行模拟。
访问
使用表格形式显示状态机,使用此表中列出的任何方法开始模拟。
功能区 |
模拟>运行>开始,或 模拟>动态模拟>模拟器>打开模拟器窗口> ( ) |
上下文菜单 |
右键单击视图背景| 执行模拟| <解释或手动> |
突出显示活动单元格
当模拟执行时,表格单元格会改变颜色以指示:
- 当前活动状态 - “状态机选项:对话框”的“突出显示颜色”字段中设置的颜色,以及黑色边框
- 潜在的下一个状态 - “突出显示颜色”字段中颜色的变体,或者,如果在“状态机选项:”对话框中选中“对目标状态使用不同的颜色”复选框,则在“目标”中设置颜色区域颜色字段
- 活跃过度 - “状态机选项:”对话框的“转换单元”字段中设置的颜色
- 触发器 - “状态机选项:”对话框的“突出显示颜色”字段中设置的颜色
- 非活跃状态 - 灰色
例如:
信号触发器
当将模拟作为图表运行时,模拟将自动遍历没有防护装置或经过验证的防护装置的过渡。除非触发了触发器,否则不会跟随具有触发器的转换。它们可以从模拟事件窗口自动触发,也可以通过右键单击过度或触发器单元并选择'模拟中的模拟触发'来手动触发触发器。
学到更多