Список потенциальных тем для научных работ

Верификация и анализ коммуникационных протоколов с помощью сетей Петри высокого уровня

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