AMEsim状态机优先级的相关知识点简析

AMEsim状态机优先级

如果没有转换优先级，以下状态图是模棱两可的。事实上，状态 1 之后的状态并不是唯一的，因为两个Guard x>= 2 和 x > 0 都是真的，因为在初始转换期间 x 被赋予了值 5。

这种歧义可以通过向转换添加优先级编号来解决：

优先级编号是附加到退出给定状态的转换的唯一编号。在几个候选转换中，采用优先级编号最低的转换。例如，这里采取了向State 2 的过渡。

复合过渡的优先级

在存在复合状态和并行状态的情况下，优先级规则将扩展为处理离开复合状态的转换。选择的优先级是“ 内部优先 ”（这一点应当熟记），在尝试在封闭复合或并行状态上定义的转换之前，我们始终倾向于本地定义的转换。

在此示例中，如果状态 2 或 3 处于活动状态（或状态 1处于活动状态 且 x <= 0），我们可以转到状态 4。如果 x 大于 0 并且状态 1 处于活动状态，则其中一个本地转换将具有更高的优先级并将被采用（ 这也即是所谓本地局部优先原则 ）。

并行过渡优先级

并行状态的规则扩展了相同的“ 内部优先 ”规则，在并行状态下，如果任何子级进行过渡，则不进行上部过渡。

在这种情况下，如果状态 1 、状态 2 处于活动状态并且 e 被激活，则进行从状态 2 到状态 3 的转换。进行转换时，不会进行从并行状态到状态 4 的转换。如果在状态 1、状态 3 处于活动状态且e被激活，因为没有过渡“消耗”事件，那么我们尝试上层转换并进入状态 4。