property preservation by petri-net-based refinements in system design

We motivate and study the refinements of places and transitions in Petri nets. 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 syste