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

семантика, синтаксис, імітаційне моделювання, имитационное моделирование