The ares in the chart below illustrate the processes dependencies.

The CPU can start with any process $[$keep in mind that always the subprocesses execute in a sequential order ex: the CPU never select to execute p$2\mathrm{.}2$ before p$2\mathrm{.}1].$

The semaphores are used to ensure that the processes will execute in any sequence but within the suggested dependencies in the chart.