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

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"