Enhancement of an deadlock prevention policy for FMSs using theory of regions

The theory of regions has been recognized as the best control policy for obtaining a maximally permissive controller in existing literature. All legal and live maximal behavior of the Petri nets model can be held by using the marking/transition-separation instance (MTSI) method. It has been established that the requirement of all sets of MTSIs is a problem in conventional studies stems from time consuming. However, the new crucial marking/transition-separation instance (CMTSIs) allows designers to employ few MTSIs to deal with system deadlocks. The advantage of the proposed policy is that the computational cost can be reduced due to few MTSIs involved in. The paper unveils a maximally permissive controller with the efficient computation can be obtained by our control policy. Experimental results, by varying the markings of given net structures, indicate that the CMTSI method is the most efficient policy among the close related approaches in existing literature.