Uppaal的随机数

Question

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

我希望有一个包含随机数的变量，如在C程序中：

int x = rand (100);

Answer 1

根据Uppaal mailing list的人们，这段代码片段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]”，作为邮件列表（和手册）建议