This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 655 - Nondeterministic select causes unexpected probabilities for equally weighted transitions.
Summary: Nondeterministic select causes unexpected probabilities for equally weighted ...
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: Engine (show other bugs)
Version: 4.1.19
Hardware: PC Linux
: P5 normal
Assignee: Marius Mikučionis
Depends on:
Reported: 2018-05-28 12:28 CEST by Morten Korsholm Terndrup
Modified: 2018-05-30 11:30 CEST (History)
1 user (show)

See Also:
Architecture: x86_64 (64bit)

minimal example (1.59 KB, text/xml)
2018-05-28 12:28 CEST, Morten Korsholm Terndrup

Note You need to log in before you can comment on or make changes to this bug.
Description Morten Korsholm Terndrup 2018-05-28 12:28:26 CEST
Created attachment 327 [details]
minimal example

Models with nondeterministic select statements causes the probabilites of taking  otherwise equally weighted transitions to be skewed. I believe that this is because UPPAAL (under the hood) generates an edge for every possible value from the domain of the select, which then multiplies the probabilities. The phenomenon is present on Linux and Windows 10.

I have attached a minimal example model with queries.

If this is not a bug in the engine, then it should probably be explicit in the documentation.

Comment 1 Marius Mikučionis 2018-05-30 11:30:42 CEST
I'll update the documentation, thanks for the report!