Modelling Biological Compartments in Bio-PEPA

Electronic Notes in Theoretical Computer Science

Volumn 227, Issue C, 2009, Pages 77-95

  Ciocchetta, Federica ^a   Guerriero, Maria Luisa ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

biological compartments; process algebras; Systems biology

Indexed keywords

ALGEBRA; BIOLOGICAL MEMBRANES; BIOLOGY; CALCIUM; CYTOLOGY; DIGITAL SIGNAL PROCESSING; LINGUISTICS; LOCATION; QUERY LANGUAGES;

BIOCHEMICAL NETWORKS; BIOLOGICAL COMPARTMENTS; CLASSICAL MODELS; FIXED STRUCTURES; IN CELLS; MOLECULAR SPECIES; ON TIMES; PROCESS ALGEBRAS; SYSTEMS BIOLOGY;

CELL MEMBRANES;

EID: 58149293181     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2008.12.105     Document Type: Article

References (19)

1. Alberts B., Johnson A., Lewis J., Raff M., Roberts K., and Walter P. Molecular biology of the cell. IV ed (2002), Garland Science
2. P. Ballarini, R. Mardare, and I. Mura. Analysing Biochemical Oscillation through Probabilistic Model Checking. In Proc. of FBTC 2008, To appear in ENTCS, 2008
3. Borghans J.A.M., Dupont G., and Goldbeter A. Complex intracellular calcium oscillations: A theoretical exploration of possible mechanisms. Biophysical Chemistry 66 1 (1997) 25-41
4. Cardelli L. Brane Calculi - Interactions of Biological Membranes. Proceedings of Computational Methods in Systems Biology. CMSB'04. LNCS volume 3082 (2005) 257-278
5. Cavaliere M., and Sedwards S. Modelling Cellular Processes Using Membrane Systems with Peripheral and Integral Proteins. Proc. of CMSB 2006. LNCS volume 4210 (2006) 108-126
6. In: Ciobanu G., Pérez-Jiménez M.J., and Pǎun G. (Eds). Applications of Membrane Computing. Natural Computing Series (2006), Springer
7. F. Ciocchetta and J. Hillston. Bio-PEPA: a framework for the modelling and analysis of biological systems, 2008. School of Informatics University of Edinburgh Technical Report EDI-INF-RR-1231
8. Ciocchetta F., and Hillston J. Bio-PEPA: an extension of the process algebra PEPA for biochemical networks. Proc. of FBTC 2007. ENTCS 194 (2008) 103-117
9. Demattè L., Romanel A., and Priami C. The BlenX Language: A Tutorial. SFM-Bio 2008. LNCS volume 5016 (2008) 313-365
10. Gillespie D.T. Exact stochastic simulation of coupled chemical reactions. Journal of Physical Chemistry 81 25 (1977) 2340-2361
11. Guerriero M.L., Priami C., and Romanel A. Modeling Static Biological Compartments with Beta-binders. Proc. of Algebraic Biology. AB 2007. LNCS volume 4545 (2007) 247-261
12. Hucka M., Finney A., Hoops S., Keating S., and Le Novére N. System Biology Markup Language (SBML) Level 2: Structure and Facilities for Model Definitions. Available at. http://sbml.org/index.php/Documents/Specifications
13. Le Novére N., Bornstein B., Broicher A., Courtot M., Donizelli M., Dharuri H., Li L., Sauro H., Schilstra M., Shapiro B., Snoep J.L., and Hucka M. BioModels Database: a free, centralized database of curated, published, quantitative kinetic models of biochemical and cellular systems. Nucleic Acids Research 34 (2006) D689-D691 Database issue
14. Lu T., Volfson D., Tsimring L., and Hasty J. Cellular growth and division in the Gillespie algorithm. Systems Biology 1 1 (2004) 121-128
15. Pǎun G. Membrane Computing: An Introduction (2002), Springer-Verlag
16. Priami C., and Quaglia P. Beta binders for biological interactions. Proceedings of Computational Methods in Systems Biology. CMSB'04. LNCS volume 3082 (2005), Springer 20-33
17. PRISM web site. http://www.prismmodelchecker.org/
18. Regev A., Panina E.M., Silverman W., Cardelli L., and Shapiro E.Y. BioAmbients: an Abstraction for Biological Compartments. Theoretical Computer Science 325 1 (2004) 141-167
19. Versari C., and Busi N. Efficient stochastic simulation of biological systems with multiple variable volumes. Proc. of FBTC 2007. ENTCS 194 (2008)