Random number in Uppaal

Question

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

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

int x = rand (100);

Answer 1

According to folks at Uppaal mailing list , this code snippet select: i : int[0,3]

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

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