The International Journal of Advanced Manufacturing Technology
Abstract: Deadlocks are an important problem in resource allocation systems such as flexible manufacturing systems. The theory of regions and the siphon-based method are usually used in the most deadlock prevention policies. The theory of regions that can obtain a maximally permissive controller is usually considered to be a natural solution with seasonable computational cost for flexible manufacturing systems. The selective siphon method allows one to use fewer control places than the conventional one. This paper employs both methods above. The former can identify the set of curial marking/transition–separation instance; the latter can reduce the computational cost. We can infer that the novel policy is the most efficient policy than the traditional methods, and also, the maximal permissive behavior of Petri net models can still be obtained.