Случайное число в Уппале

Question

Как я могу создать случайное число при определении глобальной декларации в программе Uppaal?

Я хочу иметь переменную, которая содержит случайное число, как в программе C:

int x = rand (100);

Answer 1

По словам людей из списка рассылки Uppaal, этот фрагмент кода select: i : int[0,3]

будет недетерминированно связывать i с целым числом в диапазоне от 0 до 3.

Итак, в Вашем случае просто используйте select: x : int[0, 100],

Answer 2

Я думаю, что правильный ответ таков: это невозможно при определении глобальной декларации.

Синтаксис, предоставленный @Kamiccolo, я думаю, вводит в заблуждение: в Uppaal не существует синтаксической конструкции типа "select:...".

Единственный возможный путь, в настоящее время, является:

• добавить глобальную переменную "int x = 0;"
• добавить начальный переход, для которого в предложении "select" назначить "x: int[0,100]", как следует из списка рассылки (и руководства)