Uppaal中的隨機數

Question

當我在Uppaal程序中定義全局聲明時，如何創建一個隨機數？

我想有一個包含隨機數作爲在C程序的變量：

INT X =蘭特（100）;

Answer 1

根據在Uppaal mailing list到人，這個代碼片斷select: i : int[0,3]

將非確定性結合我到範圍爲0〜3的整數

所以，你的情況只是使用select: x : int[0, 100] 。

Answer 2

我認爲正確的答案是：定義全局聲明是不可能的。

@Kamiccolo提供的語法我認爲是誤導性的：在Uppaal中不存在像「select：...」這樣的語法結構。

唯一可能的方式，在現在，是：

• 添加全局變量 「INT X = 0;」
• 添加初始過渡其「選擇」子句分配「×：INT [0100]」，作爲郵件列表（和手冊）建議