Structure and behavior preservation by Petri-net-based refinements in system design. - Hejiao Huang; To-Yat Cheung; Wai Ming Mak (Theor. Comput. Sci., 2004)