关于uppaal的领导人选举过程

Question

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

https://courses.cs.ttu.ee/w/images/e/e5/ITI0130_Lab3_IEEE1394.pdf

我已经写了这样一个声明来在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];

该数组指定具有索引的节点的连接。例如，节点＆＃34; 0＆＃34;没有与任何节点连接，因此它在所有索引中都为0。但节点＆＃34; 1＆＃34;与节点＆＃34; 2,4,5＆＃34;连接。所以索引中有1个。

现在我在运行模拟时得到了两位领导者。

我必须连接节点＆＃34; 0＆＃34;在我运行模拟时，拓扑到一个领导者。

我试图连接节点＆＃34; 0＆＃34;对某些节点，但它没有工作。

这是我的模特：

我该如何设法做到这一点？