Deadlock Control for Weighted Systems of Simple Sequential Processes with Resources Requirement (WS³ PR). - DANIEL YUH CHAO (Journal of Information Science & Engineering, 2009)