oop - 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];

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

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

当我运行模拟时，我必须将节点“0”连接到拓扑以获得一个领导者。

我尝试将节点“0”连接到某些节点，但没有成功。

这是我的模型：

我怎样才能做到这一点？