random - Uppaal中的随机数

Question

在 Uppaal 程序中定义全局声明时，如何创建随机数？

我想要一个包含随机数的变量，就像在 C 程序中一样：

int x = rand (100);

Answer 1

根据Uppaal 邮件列表中的人们的说法，这段代码片段select: i : int[0,3]

将不确定地将 i 绑定到 0 到 3 范围内的整数。

因此，在您的情况下，只需使用select: x : int[0, 100].

Answer 2

我认为正确的答案是：定义全局声明时是不可能的。

我认为@Kamiccolo 提供的语法具有误导性：在 Uppaal 中不存在像“select: ...”这样的语法结构。

目前唯一可行的方法是：

• 添加一个全局变量“int x = 0;”
• 添加一个初始转换，其“select”子句分配“x：int [0,100]”，如邮件列表（和手册）建议的那样