Structural Property Preservation of a Kind of Petri Net Refinement

A refinement of Petri nets is a transformation by replacing a simple entity of a system with its functional and operational details. In general, the refined system may become incorrect even if the original system is correct because some of its original properties may have been lost or some undesired properties may have been created. 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: repetitiveness, consistency, T-invariant, structural boundedness, conservativeness and P-invariant.