There is explained how to use generate random numbers in UPPAAL in the select statement of an edge. But it seems I can't use the value generated on other edges (say, I want to model a loop that will decrement a counter starting from a random integral value b , if I choose the starting point in the edge arriving to the looping state, I can't use update statements such as " b := b -1 "
Any idea how to overcome this issue?
Aucun commentaire:
Enregistrer un commentaire