Oop uppaal的领导人选举过程

我的拓扑结构中有这样的连接：

我写了这样一个声明，在uppaal上运行模拟：

const int N=7;
const int d1=1;
const int d2=2;
const int d3=3; 
typedef int[0,N] id_t;
id_t Id;
const bool nb[N+1][N+1]=
{
{0,0,0,0,0,0,0,0},
{0,0,1,0,1,1,0,0},
{0,1,0,1,0,0,1,0},
{0,0,1,0,0,0,0,0},
{0,1,0,0,0,0,0,0},
{0,1,0,0,0,0,0,0},
{1,0,1,0,0,0,0,1},
{0,0,0,0,0,0,1,0}
};

urgent chan req[N+1];
urgent chan ack[N+1];
id_t req_[N+1], ack_[N+1];

数组指定具有索引的节点的连接。例如，节点“0”未与任何节点连接，因此它在所有索引中都有0。但节点“1”与节点“2、4、5”相连。所以它有1个索引

现在，当我运行模拟时，我得到了两条引线

我必须将节点“0”连接到拓扑，才能在运行模拟时获得一条引线

我已尝试将节点“0”连接到某些节点，但未成功

这是我的模型：

---

我怎样才能做到这一点

我非常怀疑你是否用3种不同的编程语言编写了这个程序，因此请选择并删除其他标记。通常，我必须找到“uppaal”标记，但由于我无法找到，我放置了一些可能会吸引受益方兴趣的标记：）你有足够的声誉，如果你放置“uppaal”标记，我会非常感激的。完成了。我不知道这个工具能做什么，所以如果你能在新的页面上添加一些文本，那就太好了（比如标签的使用方式和时间，而不是维基百科的复制/粘贴）。我在模拟时遇到了一些问题。您能显示节点声明吗？我还认为，要使节点0成为领导者，您需要更改矩阵。（第一个原始）