Розглянуто принципи паралельного виконання E-мережевих імітаційних моделей на базі процесо-орієнтованої парадигми та створення алгоритму синхронізації паралельних ділянок у межах консервативного підходу з застосуванням методу запобігання взаємних блокувань на базі NULL-повідомлень. Для досягнення поставленої мети формалізовано алгоритми роботи E-мережевого переходу та планувальника у процесі традиційного послідовного моделювання, виділено паралельні процеси переходів і планувальника, а також розроблено їх формальний опис за допомогою процесної алгебри CSP Т. Хоара.

• Литвинов Віталій Васильович (технічні науки)
• Литвинов Валерій Валентинович (юридичні науки)
• Казимир Володимир Вікторович (технічні науки)
• Гавсієвич Ілля Борисович (технічні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"