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

Приборы и системы. Управление, контроль, диагностика [Текст] : Научно-технический и производственный журнал // Приборы и системы. Управление, контроль, диагностика - М. : Научтехлитиздат. — М. : Научтехлитиздат, 2012.

• УДК // Алгоритми для конструювання програм
• УДК // Розробка програмного забезпечення