Property-Preserving transformations of elementary net systems based on morphisms