Короткий опис(реферат):
В статті розглядаються принципи паралельного виконання Е-мережевих імітаційних моделей на основі процесо-орієнтованої парадигми та створення алгоритму синхронізації паралельних ділянок в межах консервативного підходу з застосуванням методу запобігання взаємних блокувань на базі NULL- повідомлень. Для досягнення поставленої мети формалізовано алгоритми роботи Е-мережевого переходу та планувальника при традиційному послідовному моделюванні, виділено паралельні процеси переходів і планувальника, а також розроблено їхній формальний опис за допомогою процесної алгебри CSP Т. Хоара.
Суть розробки, основні результати:
Казимир, В. В. Алгоритм паралельного виконання та синхронізації Е-мережі / В. В. Литвинов, В. В. Казимир, И. Б. Гавсиевич // Математичні машини і системи. – 2005. - № 4. – С. 72 - 83.