Modeling of genetic regulatory network in stochastic π-calculus

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5462 LNBI, Issue , 2009, Pages 282-294

  Maurin, Mylène ^a   Magnin, Morgan ^a   Roux, Olivier ^a  

^a INSTITUT DE RECHERCHE EN COMMUNICATIONS ET CYBERNÉTIQUE DE NANTES   (France)

Author keywords

Genetic regulatory network; Stochastic calculus; System biology

Indexed keywords

APPLICATION EXAMPLES; DELAY PARAMETERS; GENETIC REGULATORY NETWORK; GENETIC REGULATORY NETWORKS; INTERACTING GENES; LOGICAL METHODS; REGULATORY NETWORK; STOCHASTIC SIMULATORS; SYSTEM BIOLOGY;

BIOLOGY; CALCULATIONS; LAWS AND LEGISLATION;

BIOINFORMATICS;

EID: 68249132801     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-00727-9_27     Document Type: Conference Paper

References (28)

1. De Jong, H.: Modeling and simulation of genetic regulatory systems: a literature review. J. Comput. Biol. 9(1), 67-103 (2002)
2. Arkin, A., Ross, J., McAdams, H.H.: Stochastic kinetic analysis of developmental pathway bifurcation in phage λ-infected Escherichia coli cells. Genetics 149, 1633-1648 (1998)
3. Petri, C.A.: Kommunikation mit Automaten. PhD thesis, Bonn: Institut für Instrumentelle Mathematik, Schriften des IIM Nr. 2 (1962); 2nd edn., New York: Griffiss Air Force Base, Technical Report RADC-TR-65-377, vol.1(suppl. 1), English translation (1966)
4. Chaouiya, C., Remy, E., Thieffry, D.: Petri net modelling of biological regulatory networks. J. of Discrete Algorithms 6(2), 165-177 (2008)
5. Heiner, M., Gilbert, D., Donaldson, R.: Petri nets for systems and synthetic biology. In: Bernardo, M., Degano, P., Zavattaro, G. (eds.) SFM 2008. LNCS, vol.5016, pp. 215-264. Springer, Heidelberg (2008)
6. Siebert, H., Bockmayr, A.: Incorporating time delays into the logical analysis of gene regulatory networks. In: Priami, C. (ed.) CMSB 2006. LNCS (LNBI), vol.4210, pp. 169-183. Springer, Heidelberg (2006)
7. Adélaíde, M., Sutre, G.: Parametric analysis and abstraction of genetic regulatory networks. In: Proc. 2nd Workshop on Concurrent Models in Molecular Biol. (Bio- CONCUR 2004), London, UK. Electronic Notes in Theor. Comp. Sci. Elsevier, Amsterdam (2004)
8. Ahmad, J., Bernot, G., Comet, J.P., Lime, D., Roux, O.: Hybrid modelling and dynamical analysis of gene regulatory networks with delays. ComPlexUs 3(4), 231-251 (2007)
9. Eker, S., Laderoute, K., Lincoln, P., Talcott, C.: Pathway logic: executable models of biological networks. In: Fourth International Workshop on Rewriting Logic and Its Applications (WRLA 2002), Elsevier, Amsterdam (2002)
10. Talcott, C.: Formal executable models of cell signaling primitives. In: Margaria, T., Philippou, A., Steffen, B. (eds.) 2nd International Symposium On Leveraging Applications of Formal Methods, Verification and Validation ISOLA 2006, pp. 303- 307 (2006)
11. Calzone, L., Fages, F., Soliman, S.: Biocham: an environment for modeling biological systems and formalizing experimental knowledge. Bioinformatics 22(14), 1805-1807 (2006)
12. Calzone, L., Chabrier-rivier, N., Fages, F., Soliman, S., Rocquencourt, I., Contraintes, P.: A machine learning approach to biochemical reaction rules discovery. In: Doyle III, F.J. (ed.) Proceedings of Foundations of Systems Biology and Engineering FOSBE 2005, pp. 375-379 (2005)
13. Regev, A., Panina, A., Silverman, W., Cardelli, L., Shapiro, E.: Bioambients: An abstraction for biological compartments. Elsevier Science, Amsterdam (2003)
14. Regev, A., Silverman, W., Shapiro, E.: Representation and simulation of biochemical processes using the pi-calculus process algebra. In: Proc. Pacific Symp. of Biocomputing, vol.6, pp. 459-470 (2001)
15. Priami, C., Regev, A., Shapiro, E.Y., Silverman, W.: Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Inf. Process. Lett. 80(1), 25-31 (2001)
16. Lecca, P., Priami, C.: Cell cycle control in eukaryotes: A biospi model. Electr. Notes Theor. Comput. Sci. 180(3), 51-63 (2007)
17. Kuttler, C., Niehren, J.: Gene regulation in the pi calculus: Simulating cooperativity at the lambda switch. Transactions on Computational Systems Biology VII 4230, 24-55 (2006)
18. Ptashne, M.: A genetic switch: Phage λ and higher organisms, 2nd edn. Cell Press and Blackwell science, Malden (1992)
19. Ackers, G.K., Johnson, A.D., Shea, M.A.: Quantitative model for gene regulation by λ phage repressor. Proceedings of the National Academy of Science USA 79, 1129-1133 (1982)
20. Shea, M.A., Ackers, G.K.: The or control system of bacteriophage lambda: a physical-chemical model for gene regulation. J. Mol. Biol. 181, 211-230 (1985)
21. Sauer, R.T.: Molecular characterization of the lambda repressor and its gene ci. Harvard University Press, Cambridge (1979)
22. Phillips, A., Cardelli, L.: Spim (2007), http://research.microsoft.com/ ~aphillip/spim/
23. Priami, C.: Stochastic π-calculus. Computer Journal 6, 578-589 (1995)
24. Milner, R.: A calculus of mobile processes. Information and computation 100, 1-77 (1992)
25. Phillips, A., Cardelli, L.: Efficient, correct simulation of biological processes in the stochastic pi-calculus. In: Bošnački, D., Edelkamp, S. (eds.) SPIN 2007. LNCS, vol.4595, pp. 184-199. Springer, Heidelberg (2007)
26. Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. The Journal of Physical Chemistry 81(25), 2340-2361 (1977)
27. Phillips, A.: The SPIM Language. Version 0.05 (2007)
28. Thieffry, D., Thomas, R.: Dynamical behaviour of biological regulatory networks - ii. immunity control in bacteriophage lambda. Bull. Math. Biol. 57(2), 277-297 (1995)