Abstract
This correspondence corrects an algorithm by Huang et al. [International Journal of Production Research, Citation2001, 39, 283–305] that is used in the development of a deadlock prevention policy for a class of flexible manufacturing systems (FMS) where deadlocks are caused by unmarked siphons in their Petri net models. The algorithm was initially designed to derive a minimal siphon from a maximal unmarked siphon that can be obtained due to the MIP (Mixed Integer Programming)-based deadlock detection method. Also, some minor mistakes detected in the same paper are corrected.
Keywords:
Acknowledgements
The authors would like to thank the National Nature Science Foundation of China (grant No. 60474018), the Scientific Research Foundation for Returned Overseas Chinese Scholars, State Education Ministry of China (grant No. 2004-527), and the Youth Workstation Foundation of Xidian University, China (grant No. 2002-04-001).