A correct minimal siphons extraction algorithm from a maximal unmarked siphon of a Petri net
Zhiwu Li, Ding Liu · International Journal of Production Research · 2006
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.