New formal approaches and software tools are required to cope with ensembles and quantities in biology. We model spatial and dynamic biological processes using a rule-based model of computation called mobile membranes [1, 2] in which mobility is the key issue. The different feature of this formalism is given by the rules applied in parallel, a realistic description in biology which is not possible in process calculi involving mobility. The parallel application of rules depends on the available resources. The model is characterized by two essential features.
展开▼
