Structural Properties and Observability in Membrane Systems

We assimilate some notions of the ambient calculus into the formalism of membrane systems. Thus we consider the exhibit of an ambient, its level, the structural congruence, and the contextual bisimulation to define and study in mobile membrane systems the corresponding observation barbs, the depths of a membrane system, and the structural congruence. The relation between these notions is given by a translation function.