问UPPAAL模块示例
EN

Stack Overflow用户

提问于 2012-10-24 00:14:04

回答 1查看 628关注 0票数 1

我想要将边缘的保护配置为：

(turn % 4) == me

其中turn是一个时钟变量，而me是一个表示进程的整数。

请给我一个如何对上面的谓词进行保护的例子。

谢谢，凯文

发布于 2012-10-26 08:45:32

我的答案不是完全完整的(所以我不会将其标记为完整)。

但是，如果您有一个“时钟x”，并且希望时钟从n --> 0开始回绕，那么您可以将此保护添加到边沿。

if (x == n) ? 0 : x

票数 0

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/13034871

复制

相似问题

问UPPAAL模块示例EN