A Deadlock Prevention Policy for a Class of Petri Nets S3PMR.

Mingming Yan Zhiwu Li Na Wei Mi Zhao A Deadlock Prevention Policy for a Class of Petri Nets S3PMR. 167-183 2009 25 J. Inf. Sci. Eng. 1 http://www.iis.sinica.edu.tw/page/jise/2009/200901_09.html db/journals/jise/jise25.html#YanLWZ09