6.3.6. ノードタイプ - ジョイン

デフォルトでは、 ジョインはジョイン自体へ入場するすべてのトークンが同じ親の子であると仮定します (前述のようにフォークを使用したり、 同じジョインに入場するフォークによってすべてのトークンが作成されるとこのような状態が発生します)。
ジョインは、ジョインに入場したすべてのトークンを終了します。 次に、ジョインは、ジョインに入場したトークンの親子関係を調べます。 すべての兄弟トークンがジョインに入場した場合、 親トークンは、leaving transition へ渡されます。 まだ兄弟トークンがアクティブな場合、 ジョインは wait state として振る舞います。