在Uppaal程序中定义全局声明时,如何创建随机数？
我希望有一个包含C程序中的随机数的变量:
int x = rand(100);
random numbers uppaal
numbers ×1
random ×1
uppaal ×1