Fewer monitors and more efficient controllability for deadlock control in S3PGR2 (Systems of simple sequential processes with general resource requirements) - Chao, Daniel Y.