Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Aman, B., Ciobanu, G.: Describing the Immune System Using Enhanced Mobile Membranes. Electronic Notes in Theoretical Computer Science 194, 518 (2008)
Aman, B., Ciobanu, G.: Simple, Enhanced and Mutual Mobile Membranes. In: Priami, C., Back, R.-J., Petre, I. (eds.) Transactions on Computational Systems Biology XI. LNCS (LNBI), vol. 5750, pp. 26–44. Springer, Heidelberg (2009)
Jensen, K.: Coloured Petri Nets; Basic Concepts, Analysis Methods and Practical Use. In: Monographs in Theoretical Computer Science, vol. 1-3. Springer, Heidelberg (1992-1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Aman, B., Ciobanu, G. (2010). Formalizing the Behavior of Biological Processes with Mobility. In: Calude, C.S., Hagiya, M., Morita, K., Rozenberg, G., Timmis, J. (eds) Unconventional Computation. UC 2010. Lecture Notes in Computer Science, vol 6079. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-13523-1_20
Download citation
DOI: https://doi.org/10.1007/978-3-642-13523-1_20
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-13522-4
Online ISBN: 978-3-642-13523-1
eBook Packages: Computer ScienceComputer Science (R0)