The Analysis and Application of a PP Type Petri Net''''s Subnet Refinement
Petri网的PP型子网精细化操作性质分析及应用

A scheme is obtained using a kind of Petri net refinement,according to process of some factory using several machines of a workshop to produce some parts. A PP type subnet is defined. A refinement Petri net is obtained through using the kind of subnet to replace some places of the ordinary Petri net. Dynamic properties have been investigated. The sufficient and necessary conditions of liveness preservation, boundedness preservation, reversibility preservation and fairness preservation are presented. These results are useful for studying the static and dynamic properties of Petri nets,analyzing properties for large complex system. The refinement method is practical to use in reality.