继续使用Topic Link Label15.3 中的示例，还有与触发条件相关的其他警告。图 15-7 显示了与触发条件 SAFE_RECOVERY 相关的警告。

可以在 Trigger Priority List（触发条件优先级列表）中更新触发条件优先级，如图 15-8 中所示。图 15-9 显示了TRIGGER SETTINGS（触发条件设置）中找到的 Update Trigger （更新触发条件）中指示的立即触发功能。

图 15-10 显示了通过这些修复，PFSM 验证只有一个警告，在Topic Link Label15.3 中进行了讨论。