00895nam a2200277 4500 DLU110129983 ##20111223 DLU eng eng uk Chao, Daniel Y. Fewer monitors and more efficient controllability for deadlock control in S3PGR2 (Systems of simple sequential processes with general resource requirements) / Daniel Y. Chao. Deadlock control Petri nets Resource allocation systems Siphons The Computer Journal Vol. 53, no. 10 (December 2010), p. 1783-1798 Phòng Tạp chí -- Trung tâm Thông tin - Thư viện Trường Đại học Đà Lạt DLU True Trương Bảo Trâm Anh G A BB Thư viện Trường Đại học Đà Lạt