2004
Structure and behavior preservation by Petri-net-based refinements in system design.
Theor. Comput. Sci., 2004