A correct minimal siphons extraction algorithm from a maximal unmarked siphon of a Petri net.

This correspondence corrects an algorithm by Huang et al. [International Journal of Production Research, 2001, 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. [ABSTRACT FROM AUTHOR]