uppaal - CSP のような同期

Question

CSP のような同期メカニズムを使用しようとしていますが、次のモデルの初期状態がデッドロックになる理由がわかりません。

const int N = 2;
chan a;

process Processes(int [1,N] pid) {
    state A, B;
    init A;
    trans A -> B { sync a; };
}

system Processes;

私の意見では、2 つのプロセスはチャネル「a」で同期されており、少なくとも 1 つのステップを実行する必要があります。