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]”，作为邮件列表（和手册）建议