Compositional semantics and behavioral equivalences for P Systems