Using theory of regions with selective siphon control for deadlock prevention policy in Petri nets

Deadlock prevention policies are used to solve the deadlock problems of FMSs. The theory of regions is recognized as the unique method for obtaining maximally permissive (i.e., optimal) controllers in the existing literature. In this paper, the selective siphons and critical markings method [17] is merged in the new deadlock prevention policy. First of all, reachability graph is still needed. Second, CMTSIs are identified. Further, selective siphons and critical markings method is used to check if all dead/quasi-dead markings of CMTSIs are covered by these selective siphons. Furthermore, choose anyone CMTSI that belongs to a same selective siphon to be processed. Finally, controllers are therefore obtained. Experimental results indicate that the computational cost can be reduced again. Besides, it is the most efficient policy to obtain maximal permissive behavior of Petri net models.