deadlock-freeness
1.Compared with the existing methods that control all SMS in a Petri net, the deadlock prevention policy has at least three advantages: 1) only a smaller number of SMS need to be controlled, hence the deadlock-freeness or live Petri net model obtained has less additional places and arcs;
