Uppaal中的随机数

【问题标题】：Random number in UppaalUppaal中的随机数
【发布时间】：2013-10-31 14:46:45
【问题描述】：

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

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

int x = rand (100);

【问题讨论】：

【解决方案1】：

根据Uppaal mailing list 的人们，此代码 sn-p select: i : int[0,3]

将非确定性地将 i 绑定到 0 到 3 范围内的整数。

所以，在你的情况下，只需使用select: x : int[0, 100]。

【讨论】：

【解决方案2】：

我认为正确的答案是：定义全局声明时是不可能的。

我认为@Kamiccolo 提供的语法具有误导性：在 Uppaal 中不存在像“select: ...”这样的语法结构。

目前唯一可能的方法是：

【讨论】：