Abstract: A scheme is obtained using some kinds of Petri net reduction, according to the verification of flexible manufacturing system. Two kinds of reductions are proposed and their dynamic property preservations have been investigated. A group of sufficient condi

Key words: Petri nets, Reduction, Liveness, Boundedness, System verification, Flexible manufacturing system