The Petri Net Reduction and its Application in System Verification
Petri网化简操作及其在系统验证中的应用

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 conditions or sufficient and necessary conditions of liveness preservation, boundedness preservation and reversibility preservation are presented. A flexible manufacturing system has been verified. These results are useful for studying the static and dynamic properties of Petri nets, analyzing properties for large complex system. The reduction method is especially fit for system verification and practical to use in reality.