A Deadlock Detection And Prevention Strategy Based On The Transitive Matrix Of Petri Nets

The design for flexible manufacturing system (FMS) by using Petri nets has been an important direction of Petri net research work since last two decades. For a net model, we first find the deadlock nodes, and then try to control the deadlock nodes by some methods, to make the net live.In this research, we develop a new deadlock detection policy. By using the trasitive matrix of Petri nets to find the deadlock nodes for an S~3PR net, and we then add control places and the relevant control arcs to the net according to the control theory for place invariants, in order that the S~3PR net is live finally.The new deadlock detection mode is obtained on the basis of the research results on 0-1 net. We can apply to any kind of ordinary nets now. If the new deadlock detection mode combines with the control theory of place invariants, then a new deadlock detection and avoidance strategy of Petri net can be proposed. The strategy can calculate the matrix using Matlab. It can save a large amount of computing time, and make the design of controller simpler and the efficiency higher than the method of finding the deadlock nodes as done in literature. Thus, an optimal Petri net model can be obtained in a short time by using the new strategy for deadlock control.