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

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