Random symbolic simulation trick ?

[MathieuMarchand]

I would like to run the symbolic simulator to see how it evolves, but since the random simulation takes one of the available transition with equal probability, the simulation doesn't do anything useful.

Is there a way to change these probabilities without having to duplicate edges, to have for example an edge -->goNext with p=0.99 and an edge -->abort with p=0.01?

[thorulf4]

There is no nice way of doing this for symbolic simulation, you could hack together some kind of probability by controlling the ratio of edges, but I would would discourage this approach.

If possible I would recommend switching to the concrete simulator, as it provides a way to give probabilistic weights to branching edges.

Do note that probabilities can only be set on the outgoing side of a branching edge

For this to to work you would have to switch from random simulation to stochastic by right clicking the random button in the concrete simulator.

I hope this helps, if any questions feel free to ask.

[MathieuMarchand]

I see, thank you for the fast response ^^

[MathieuMarchand]

Do you have to do something special to activate the stochastic option ?

[thorulf4]

I can't think of any reasons why Stochastic wouldn't be available here. What version of Uppaal are you using?

[MathieuMarchand]

UPPAAL-5.0.0-WIN64

[MathieuMarchand]

It seems something in my system disables the stochastic option. I tried on a new project and it is enabled. I'll investigate a bit

[MathieuMarchand]

I found the issue, you cannot have channels and execute stochastic simulation

[thorulf4]

This happens because SMC only supports broadcast channels. However beware that broadcast channels have slightly different semantics.
You can read about broadcast channels here:
https://docs.uppaal.org/language-reference/system-description/templates/edges/#synchronisations