Unbounded delay but no positive rate

Question

I have created this UPPAAL specification: https://pastebin.com/v4AkYUuy

But when running the query:

simulate 100 [<=500] { time }

I get the error:

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

I have searched for hours, but UPPAAL does not have a great documentation.

Person Car Train

Answer 1

Just add an exponential rate to that location. Uppaal attempts to use exponential distribution when there is no upper bound for delay, but it does not know the rate, hence an error message. See also Uppaal SMC tutorial.