Информатика, вычислительная техника Д. В. Пащенко, Д. А. Трокоз, Г. В. Мартяшин, К. С. Максимова, Е. А. Бальзанникова СЕТЕВАЯ МОДЕЛЬ ЯЗЫКА «Т» НА ОСНОВЕ ЦВЕТНЫХ БЕЗОПАСНЫХ ИЕРАРХИЧЕСКИХ РЕКУРСИВНЫХ СЕТЕЙ ПЕТРИ1 Аннотация. <...> Объектом исследования является разработанный функциональный язык «Т», который применяется для разработки алгоритмов работы распределенной системы управления. <...> Предметом исследования является способ представления функционального языка в виде сетевой модели на основе цветных иерархических безопасных рекурсивных сетей Петри. <...> Цель работы – формальное описание языка «Т» в виде сетевой модели для дальнейшего его использования в области проектирования и представления параллельных вычислительных систем. <...> Формальное описание языка «Т» проведено с использованием модели цветных иерархических безопасных рекурсивных сетей Петри. <...> Предложен специальный вид функционального языка – язык «Т», который предназначен для описания алгоритмов распределенной автоматизированной системы управления. <...> Предложенный способ представления данного языка позволит провести моделирование схемы, описанной на языке «Т», с использованием математического аппарата сетей Петри. <...> Кроме того, к схеме, представленной описанным способом, могут быть применены методы тензорного исчисления, а также трансляционные методы преобразования полученных сетевых моделей. <...> Bal'zannikova NETWORK MODEL OF "T" LANGUAGE BASED ON COLOURED SAFE HIERARCHICAL RECURSIVE PETRI NETS Abstract. <...> The research subject is a way of representing the functional language in the form of a network model based on coloured safe recursive hierarchical Petri nets. <...> The purpose of the work is to 1 Работа выполнена в рамках гранта РНФ на проведение фундаментальных научных исследований и поисковых научных исследований с привлечением молодых исследователей по теме «Анализ и синтез сетевых структур сложных систем на основе тензорных и трансформационных методов» (соглашение № 15-11-10010). <...> Computer science, computer engineering and control 25 Известия высших учебных заведений. <...> Поволжский регион formally describe <...>