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

Question

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

现在我有一个由 n 个自动机组成的网络（每个都有一个不同的 id）和一个二维的、预先初始化的整数数组 n * k，所以每个自动机都有一个 k 长的整数行。如何从这个数组中进行选择？就像是：

我：我的数组[id]

那么每个自动机都从它的 k 个预定义数字中进行选择？

最好的，帕维尔

Answer 1

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

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

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