DEADLOCK DETECTION-ORIENTED UNBOUNDED PETRI NET DEPLOYMENT METHOD

摘要

Disclosed is a deadlock detection-oriented unbounded Petri net deployment method, which belongs to the technical field of computers. The method is directed to the field of unbounded Petri nets and ensures that all deadlocks detected by a new deployment method are true; a looped or loop-free transition sequence corresponding to each configuration in a resulting deployment in the method can be initiated from an initial identification; the method can perform complete and accurate detection on the deadlocks of the network system in the absence of ω ^-; and the scale of the method is smaller than that of a complex reachability tree, and can alleviate the state explosion problem caused by a concurrent process in the Petri net.