Мой вопрос: Могу ли я сгенерировать случайное число в Uppaal? Я хотел бы сгенерировать число из диапазона значений. Более того, я хотел бы генерировать не только целые числа, я также хотел бы генерировать двойные значения. например: двойной...

Я хочу указать, что все состояния не должны быть длиннее указанного времени. Я могу сделать это, указав его состояние за состоянием, но человек может забыть одно. Мне нужно глобальное решение. Я имею в виду что-то вроде свойства «максимальное время...

Я проверяю очень маленькую модель. Но я получаю сообщение об исчерпании памяти. Я несколько раз менял модель, но с той же проблемой. Я думал, что эта проблема будет связана с использованием определяемой пользователем функции или с использованием...

как я могу смоделировать несколько синхронизаций в UPPAAL? Например: изменение состояния одновременно вызывает два других изменения состояния в разных шаблонах. В поле синхронизации я могу поставить только один канал (sync1! или sync!). Как я могу...

Я смоделировал временную модель двух триггеров в UPPAAL, когда я попытался проверить некоторые свойства, я достиг состояний 6M, а в моем ноутбуке не хватило ОЗУ, было израсходовано около 5 ГБ, может ли кто-нибудь сказать, что это приблизительный номер...

Я создал модель с Uppaal, в которой несколько целочисленных переменных изменяются с течением времени. Теперь я хотел бы сохранить значения переменных в процессе моделирования куда-нибудь (лучше всего в xml или текстовый файл). В документации Uppaal...