Structure and behavior preservation by Petri-net-based refinements in system design
scientific article; zbMATH DE number 2126076