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

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