Суть розробки, основні результати:
Казимир, В. В. Анализ алгоритма работы Е-сетевого перехода при традиционном и распределенном моделировании с помощью алгебры взаимодействующих процессов / В. В. Литвинов, В. В. Казимир, И. Б. Гавсиевич // Системи підтримки прийняття рішень. Теорія і практика. – 2005. – С. 139-143.