UPPAAL：从预定义的整数数组中选择

Question

到目前为止，我知道UPPAAL中的选择是如何工作的。您可以使用例如i：int [2,42]选择2到42之间的所有数字。

现在我有一个n自动机网络（每个都有一个不同的id）和一个2维，预先整理的整数数组n * k，所以每个自动机都有一个k长的整数行。如何从这个数组中进行选择？类似的东西：

我：my_array [id]

所以每个自动机都从它的一组k个预定义数字中选择？

Best，Pawel

Answer 1

我得到了解决方案。你这样做：

i : int[1,k] // with k being the length of each row, as stated above
j = my_array[id][i]

因此将为j分配数组中预定义的数字。