Sean los procesos "P, P, ..., P" y los recursos "R, R, ..., R":