Неограниченная задержка, но нет положительного показателя

Question

Я создал эту спецификацию UPPAAL: https://pastebin.com/v4AkYUuy

Но при выполнении запроса:

simulate 100 [<=500] { time }

Я получаю ошибку:

Location Person.Rijssen has unbounded delay but no positive rate.

Я искал несколько часов, но у UPPAAL нет отличной документации.

Личный вагон

Answer 1

Просто добавьте экспоненциальную ставку к этому месту. Уппал пытается использовать экспоненциальное распределение, когда нет верхней границы для задержки, но он не знает скорости, следовательно, появляется сообщение об ошибке. Смотрите также учебник Uppaal SMC.