Я создал эту спецификацию UPPAAL: https://pastebin.com/v4AkYUuy
Но при выполнении запроса:
simulate 100 [<=500] { time }
Я получаю сообщение об ошибке:
Location Person.Rijssen has unbounded delay but no positive rate.
Я искал часы, но у UPPAAL нет хорошей документации.