1

маркер передается процедуре

2

начальный узел создает маркер

3

ветвление порождает маркер для каждого исходящего потока

4

процедура выполняется и передает маркер следующей процедуре

5

один маркер приходит в точку ветвления