预订演示
前页 后页

等待触发器

当模拟达到任何状态(对于任何线程)需要状态触发器地继续进行的点时,模拟将被有效暂停并且控制返回给系统。模拟现在正在有效地等待某种形式的事件(现实世界的信号)继续进行。等待触发器列表有助于触发器应该手动发出信号。

访问

功能区

仿真>动态仿真>事件

右侧窗格列出可用触发器。

仿真事件窗口的触发器名单如下:

  • 在每个仿真周期中填充任何触发器的说明,如果发出信号就会立即生效
  • 填充离散集(任何重复都不会显示为简单的触发器有效地广播到所有转换)
  • 通过双击感兴趣的触发器来激活
  • 包括所有可能的触发器——包括那些激活当前嵌套状态的父级的转换
这个例子表明,当前的模拟已经达到了触发器可能影响执行流程的程度。

Available Triggers are listed when simulation is at an impasse

由于简单的触发器及其影响,该列表可以同样有效地引用这些示例情况中的每一个:

  • 单个状态A两个输出转移,分别等待Hold和Pushdown;触发其中之一将激活模拟中的相关转换
  • 单个状态A两个或多个可能触发相同的转换,例如安全摄像头被运动检测器、声音检测器或热检测器打开
  • 两个(或更多)线程(并发区域)每个都有状态等待保持或下推;触发其中一个触发器将导致线程等待该触发器继续进行,而其他线程将保持阻塞状态
  • A状态正在等待其中一个触发器,而父状态正在等待另一个;触发触发器将导致关联的转换被触发,并且子或父相应地继续
  • 这些的任意组合

了解更多