Search academic texts

Information × Registration Number 2124U000165, Article popup.category Опубліковано, Стаття Title PROCESS ALGEBRA FOR SIMULATION OF COMPLEX DISCRETE SYSTEMS popup.author Новотарський М. А.Novotarsky M. A. popup.publication 19-11-2024 popup.source_user Журнал "Радіоелектроніка, інформатика, управління" (Національний університет "Запорізька політехніка") popup.source https://ric.zp.edu.ua/article/view/315550 popup.publisher National University "Zaporizhzhia Polytechnic" Description У роботі представлена алгебра процесів як інструмент для формального опису складних дискретних систем. Розглянуто структуру множин, на яких визначені змінні і вирази алгебри процесів. Описано синтаксичні конструкції і семантичні правила виконання операцій, що дозволяють задавати формальний опис імітаційних моделей з реальним робочим навантаженням. Для визначення адекватності моделі запропоновано використовувати принципи еквівалентності, що базуються на конгруентності, строгій і слабкій взаємній подібності. popup.nrat_date 2026-03-02 Close