Local State Refinement and Composition of Elementary Net Systems: An Approach Based on Morphisms