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