私のトポロジには次のような接続があります。
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 があります。
シミュレーションを実行すると、2 つの引出線が表示されるようになりました。
シミュレーションを実行するときに、ノード「0」をトポロジに接続して、リーダーを 1 つ取得する必要があります。
ノード「0」をいくつかのノードに接続しようとしましたが、うまくいきませんでした。
これは私のモデルです：
どうすればこれを行うことができますか？