В статье рассматривается модель взаимодействия Crid-узлов с очередью доступа к общей памяти, построенная на основе аппарата сетей Петри. Исследованы структурные свойства модели, в частности, показано, что построенная сеть является ограниченной, живой и не содержит недостижимых позиций.
