Пожалуйста. На самом деле по математике-то схем почти ничего не было сказано. Вообще-то главное в этом смысле — что есть различные математические структуризации систем процессов и соответственно классы формализмов их описания. Имея в виду, что схема м.б. описана и текстом (как и операции над ней) — потому и говорим просто об "описании".

Навскидку есть два класса:
GAN — структуры с возможностью циклов;
сетевые графики — ациклические.

О разнице между ними писал здесь, а подробнее — здесь в п. А).
В GAN преобразования (в частности, упрощения) структуры возможны, но достаточно громоздки.

По типам узлов — на самом деле И/ИЛИ — это ведь "выполнить от одного до всех". Так что можно как раз два других свести к нему...