2009 IEEE International Conference on
Systems, Man, and Cybernetics |
Abstract
This paper presents an efficient method to obtain a maximal permissive deadlock prevention policy for a flexible manufacturing system based on theory of regions. The theory of regions policy can provides an optimal deadlock prevention controller which is based on the reachability graph. However, its disadvantage is the state explosion problem since all marking/transition-separation instances have to be identified. For improving the shortcoming, this paper proposes a new concept of the crucial marking/transition-separation instances. Experimental results indicate that the proposed control policy in this paper is more efficient than the closely related approaches in the literature.