math - 状态图，计算这些函数后的值

Question

我有这张状态图的图片，必须在几个事件后计算 x 的值。事件是 e1-e2-e2-e2-e2
x 一开始是 2。
第一个事件是 e1，所以我认为在那个事件之后它会变成 4。
接下来是e2，我想知道因为出口是x=x-1，所以它会进入状态B，因为它小于4，还是进入C，因为它是4，但在出口变成了3？
让我们假设它去 B，变成 5，我们再做一次 e2。因为唯一的可能性是 x>5 并且它等于 5，所以什么都不会发生？

标签： mathuml

Answer 1

假设 A 和 C 之间的守卫是x>=4（因为没有e定义）我做了一个小的转换表：

所以最终状态应该是B，X是11。