Abstract
Brane calculi are a family of biologically inspired process calculi proposed in [5] for modeling the interactions of dynamically nested membranes and small molecules.
Building on the decidability of divergence for the fragment with mate, bud and drip operations in [1], in this paper we extend the decidability results to a broader class of properties and to larger set of interaction primitives. More precisely, we provide the decidability of divergence, control state maintainabiliy, inevitability and boundedness properties for the calculus with molecules and without the phago operation.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Busi, N., Gorrieri, R.: On the Computational Power of Brane Calculi. In: Proc. Computational Methods in System Biology 2005 (CMSB 2005). Transactions on Computational Systems Biology. LNCS. Springer, Heidelberg (to appear, 2005)
Busi, N.: On the computational power of the Mate/Bud/Drip Brane Calculus: interleaving vs. maximal parallelism. In: Freund, R., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2005. LNCS, vol. 3850, pp. 144–158. Springer, Heidelberg (2006)
Busi, N., Zavattaro, G.: On the expressive power of movement and restriction in pure mobile ambients. Theoretical Computer Science 322, 477–515 (2004)
Busi, N., Zandron, C.: Modeling and Analysis of Biological Processes by Mem (Brane) Calculi and Systems. In: Proc. Winter Simulation Conference (to appear, 2006)
Cardelli, L.: Brane Calculi - Interactions of biological membranes. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol. 3082, pp. 257–278. Springer, Heidelberg (2005)
Cardelli, L.: Abstract Machines for System Biology. Draft (2005)
Cardelli, L., Gordon, A.D.: Mobile Ambients. Theoretical Computer Science 240(1), 177–213 (2000)
Finkel, A., Schnoebelen, P.: Well-Structured Transition Systems Everywhere! Theoretical Computer Science 256, 63–92 (2001)
Higman, G.: Ordering by divisibility in abstract algebras. Proc. London Math. Soc. 2, 236–366 (1952)
Lodish, H., Berk, A., Matsudaira, P., Kaiser, C.A., Krieger, M., Scott, M.P., Zipursky, S.L., Darnell, J.: Molecular Cell Biology, 4th edn. W.H. Freeman and Company, New York (1999)
Minsky, M.L.: Computation: finite and infinite machines. Prentice-Hall, Englewood Cliffs (1967)
Păun, G.: Membrane Computing. An Introduction. Springer, Heidelberg (2002)
Păun, G.: Computing with membranes. Journal of Computer and System Sciences 61(1), 108–143 (2000)
Regev, A., Panina, E.M., Silverman, W., Cardelli, L., Shapiro, E.: BioAmbients: An Abstraction for Biological Compartments. Theoretical Computer Science 325(1), 141–167 (2004)
Reisig, W.: Petri nets: An Introduction. EATCS Monographs in Computer Science. Springer, Heidelberg (1985)
Shepherdson, J.C., Sturgis, J.E.: Computability of recursive functions. Journal of the ACM 10, 217–255 (1963)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Busi, N. (2006). Deciding Behavioural Properties in Brane Calculi. In: Priami, C. (eds) Computational Methods in Systems Biology. CMSB 2006. Lecture Notes in Computer Science(), vol 4210. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11885191_2
Download citation
DOI: https://doi.org/10.1007/11885191_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-46166-1
Online ISBN: 978-3-540-46167-8
eBook Packages: Computer ScienceComputer Science (R0)