1. 首页
  2. 问答
  3. UPPAAL模实施例

UPPAAL模实施例

2012-10-23 64 views
0

我想的边缘的保护配置为：UPPAAL模实施例

(turn % 4) == me

其中又是时钟变量和我是代表一个进程的int。

请给我如何做一个后卫上述谓词的例子。

感谢， 凯文

来源

2012-10-23 Kevin Meredith

回答

0

我的答案是没有完全完成（所以我不会把它标记为完成）。

但是，如果你有一个“时钟X”，并希望时钟从n个绕到 - > 0，则此守护添加到边缘。

if (x == n) ? 0 : x

来源

2012-10-26 00:45:32

相关问题

 相关问题