Text this: Deadlock Control for Weighted Systems of Simple Sequential Processes with Resources Requirement (WS³ PR).