Process Completing Sequences for Resource Allocation Systems with Synchronization

Figure 4

Resulting net with Type-I reductions.