Property Preservation of Petri Refinement Net

For systems specified in ordinary Petri nets, this paper proposes the conditions imposed on a kind of net refinement under which the following structural properties will be preserved: structural boundedness, conservativeness, P-invariant, repetitiveness, consistent and T-invariant.