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的语法，只要我认为是误导性的:不存在像"select：.“这样的句法结构在乌帕尔。

目前，唯一可能的办法是：

• 添加一个全局变量"int = 0;“
• 添加初始转换，其"select“子句分配"x :and 0,100”，如邮件列表(和手册)所示