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

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.