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

This correspondence corrects an algorithm by Huang et al. that is used in the development of a deadlock prevention policy for a class of flexible manufacturing systems 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 Mixed Integer Programming-based deadlock detection method. Also, some minor mistakes detected in the same paper are corrected.