Uppaal中的随机数

问题描述：

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

How can I create a random number when I define a global declaration in an Uppaal program?

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

I want to have a variable that contains a random number as in a C program:

int x = rand (100);

答

根据上传邮件列表，此代码段select: i : int[0,3]

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

will non-deterministically bind i to an integer in the range 0 to 3.

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

So, in Your case just use select: x : int[0, 100].