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

Актуальность и цели. Объектом исследования является разработанный функциональный язык «Т», который применяется для разработки алгоритмов работы распределенной системы управления. Предметом исследования является способ представления функционального языка в виде сетевой модели на основе цветных иерархических безопасных рекурсивных сетей Петри. Цель работы – формальное описание языка «Т» в виде сетевой модели для дальнейшего его использования в области проектирования и представления параллельных вычислительных систем Материалы и методы. Формальное описание языка «Т» проведено с использованием модели цветных иерархических безопасных рекурсивных сетей Петри. Результаты. Даны определение и ограничения языка «Т». Показаны особенности представления данного языка в виде сетевой модели на основе сети Петри. Выводы. Предложен специальный вид функционального языка – язык «Т», который предназначен для описания алгоритмов распределенной автоматизированной системы управления. Предложенный способ представления данного языка позволит провести моделирование схемы, описанной на языке «Т», с использованием математического аппарата сетей Петри. Кроме того, к схеме, представленной описанным способом, могут быть применены методы тензорного исчисления, а также трансляционные методы преобразования полученных сетевых моделей.

• Пащенко Д.В.
• Трокоз Д.А.
• Бальзанникова Е.А.
• Максимова К.С.
• Мартяшин Г.В.

• Общий отдел

• Технические науки. Промышленность
• Физико-математические науки