Алгебра процессов.

Новотарский. Алгебра процессов для имитационного моделирования сложных дискретных систем.
https://cyberleninka.ru/article/n/algebra-protsessov-dlya-imitatsionnogo-modelirovaniya-slozhnyh-diskretnyh-sistem

===
Выражения для представления функциональных зависимостей и времени составляют множество выражений Exp, заданное на множестве элементарных математических операций.

Выражения для процессов объединены во множество Pexp, включающее следующие операции:

- префиксация
- выбор
- параллельная композиция и взаимодействие
- переименование и рестрикция ;
- клонирование, вставка и сокрытие
- рекурсия и цикл.

Рассмотрим кратко смысл упомянутых операций.
===