ПРОГРАММНЫЙ ГЕНЕРАТОР МОДЕЛЕЙ ПЕТРИ ТРЕУГОЛЬНЫХ КОММУНИКАЦИОННЫХ РЕШЕТОК

Аннотация

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