A Compositional Semantics of Reaction Systems with Restriction