问题描述
我想执行以下操作：
最初我的变量 x 被设置为 0，由于守卫的原因，这个转换不可能被触发。我希望能够将 x 的值更新为 1，然后检查 b 转换的守卫以进行同步。我知道 Uppaal 首先进行转换（因此首先检查守卫），然后进行发送方的更新，然后是接收方的更新。
我首先更新 x，然后进行同步。
它工作正常，但我想知道是否存在不使用提交状态的更好的解决方案？
解决方法
暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！
如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。
小编邮箱:dio#foxmail.com (将#修改为@）