有限状态机 Guards 中的 'present' 和 'absent' 解释

在有限状态机中，Guards 条件用来决定状态转换是否被启用。其中，'present' 指 '存在'，表示信号 p1 当前存在或被触发；'absent' 指 '不存在'，表示信号 p1 当前不存在或未被触发。

例如，'Transition is enabled if p1 is present' 表示只有当信号 p1 存在时，状态转换才会被启用。而 'Transition is enabled if p1 is absent' 表示只有当信号 p1 不存在时，状态转换才会被启用。