A computing model is abstracted from the structure and the functioning of the living cell. In short, such a model (called P system) consists of a cell-like hieerarchy of membranes, which define compartments where multisets of objects (described by symbols of a given alphabet) are placed. The objects evolve by means of multiset rewriting rules (similar to bio-chemical reactions). One proves that P systems using the rules in the maximally parallel