МОДЕЛИРОВАНИЕ ТЕХНОЛОГИИ СКВОЗНОЙ КОММУТАЦИИ БЕСКОНЕЧНЫМИ СЕТЯМИ ПЕТРИ

Аннотация

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