Process Completing Sequences for Resource Allocation Systems with Synchronization

Figure 6

Resulting net with a Type-II reduction.