/span>
Таким чином, наведений процес є об'єднанням АП та його репозиції, в якому з відносини F 'викинуті пари, що задають переходи до ініціаторів процесу.
Визначення композиції
Розглянемо два АП - процес P 1 = 1 , F 1 , I 1 , R 1 > (необов'язково наведений ) і наведений процес P П 2 = 2 , F 2 , I 2 , R 2 >, ситуації яких структуровані: в ситуаціях P 1 виділена вихідна, а в ситуаціях P < span align = "justify"> П 2 - вхідна компоненти. Нехай всі або деякі значення вихідний компоненти y 1 ситуацій S 1 відповідають всім або деяким значенням вхідний компоненти x 2 ситуацій S < span align = "justify"> 2 . Позначимо проекції безлічі пар відповідних один одному значень компонент на безлічі Y 1 і X 2 через Y * 1 і X * < span align = "justify"> 2 відповідно. За множинам Y * 1 і X * 2 < span align = "justify"> побудуємо редукції P 1 (Y * 1 ) і P П 2 (X * 2 ) процесів P 1 і P П 2 . Нехай P П 2 (X * 2 ) - повністю наведений процес і Y **
