控制由函数调用输入事件启用的图中的状态

由函数调用输入事件启用的图的示例

在此模型中，Caller 图使用事件 E 来唤醒并执行 Callee 图。

Caller 图包含两个状态：A 和 B。当您在状态 A 中绑定输出事件 E 时：

时序逻辑运算符 after 每十个时间步就会更改激活状态，因此 Callee 图会反复启用和禁用。

Callee 图包含两个状态：C 和 D。图每次执行时，输出数据 y 都会递增 1。状态 C 最初处于激活状态。在一个时间步后，y 的值为正值，图进行到状态 D 的转移。

当属性为 Held 时的图仿真

在 Callee 图中，启用时的状态属性设置为 Held。在仿真期间，当函数调用输入事件在时间 和 处重新启用图时，状态 D 保持激活状态，输出 y 保持其最新值。

当属性为 Reset 时的图仿真

在 Callee 图中，将启用时的状态属性更改为 Reset。在仿真期间，当函数调用输入事件在时间 和 处重新启用图时，状态 C 被激活，输出 y 还原为其初始值零。