Modelling of Biochemical Reactions by Stochastic Automata Networks

Electronic Notes in Theoretical Computer Science

Volumn 171, Issue 2 SPEC. ISS., 2007, Pages 197-208

  Wolf, Verena ^a  

^a UNIVERSITY OF MANNHEIM   (Germany)

Author keywords

Biochemical Reactions; Markov Chain; Stochastic Automata Networks

Indexed keywords

ALGORITHMS; COMPUTER SIMULATION; COMPUTER SYSTEMS; MICROSCOPIC EXAMINATION; NUMERICAL METHODS;

BIOCHEMICAL REACTIONS; MARKOV CHAIN; MODULAR DESIGN PROCESS; STOCHASTIC AUTOMATA NETWORKS;

AUTOMATA THEORY;

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

References (26)

1. A. Benoit, P. Fernandes, B. Plateau, and W. Stewart. The PEPS Software Tool. In 13th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation TOOLS 2003, pages 98-115, Urbana, Illinois, USA, 2003
2. Blossey R., Cardelli L., and Phillips A. A compositional approach to the stochastic dynamics of gene networks. Transactions on Computational Systems Biology. LNCS volume 3939 (2006), Springer 99-122
3. Bower J.M., and Bolouri H. Computational Modeling of Genetic and Biochemical Networks (2001), The MI Press
4. Bremaud P. Markov Chains (1998), Springer
5. Buchholz P., and Kemper P. A toolbox for the analysis of discrete event dynamic systems. Proceedings of the 11th International Conference on Computer Aided Verification. London, UK (1999), Springer-Verlag 483-486
6. M. Calder, S. Gilmore, and J. Hillston. Automatically deriving odes from process algebra models of signalling pathways. In Proceedings of Third International Workshop on Computational Methods in Systems Biology, pages 204-215. University of Edinburgh, 2005
7. M. Calder, S. Gilmore, and J. Hillston. Modelling the influence of rkip on the erk signalling pathway using the stochastic process algebra pepa. Transactions on Computational Systems Biology, 2006. to appear.
8. Ciardo G., and Miner A. A data structure for the efficient kronecker solution of gspns. Proceedings of the The 8th International Workshop on Petri Nets and Performance Models. Washington, DC, USA (1999), IEEE Computer Society 22
9. G. Ciardo and A. Miner. SMART: The stochastic model checking analyzer for reliability and timing. In Proceedings of the 1st International Conference on Quantitative Evaluation of Systems, pages 338-339, 2004
10. Cox D., and Miller H. The Theory of Stochastic Processes (1965), Chapman and Hall
11. Danos V., and Laneve C. Formal molecular biology. Theoretical Computer Science 325 1 (2004) 69-110
12. P. Fernandes, B. Plateau, and W.J. Stewart. Numerical evaluation of stochastic automata networks. In Proceedings of the Third International Workshop on Modeling, Analysis, and Simulation On Computer and Telecommunication Systems, pages 179-183, 1995
13. Gillespie D.T. A general method for numerically simulating the time evolution of coupled chemical reactions. Journal of Computational Physics 22 (1976) 403-434
14. Gillespie D.T. Exact stochastic simulation of coupled chemical reactions. Journal of Physical Chemistry 81 25 (1977) 2340-2361
15. Gillespie D.T. Markov Processes (1992), Academic Press
16. P. Goss and J. Peccoud, Quantitative modeling of stochastic systems in molecular biology by using stochastic petri nets. In Proceedings of the National Academy of Science USA, pages 6750-6755, 1998
17. M. Heiner and I. Koch. Petri net based model validation in systems biology. In Proceedings of the 25th International Conference on Applications and Theory of Petri Nets, pages 216-237, 2004
18. R. Hofestädt and S. Thelen. Quantitative modeling of biochemical networks. In Silico Biology, 1:6, 1998
19. 2+ channels. Bulletin of Mathematical Biology 67 3 (2005) 393-432
20. Phillips A., and Cardelli L. A correct abstract machine for the stochastic pi-calculus. Bioconcur. ENTCS (August 2004)
21. B. Plateau. On the stochastic structure of parallelism and synchronization models for distributed algorithms. In Proceedings of the Sigmetrics Conference on Measurement and Modeling of Computer Systems, pages 147-154, 1985
22. Priami C., Regev A., Shapiro E., and Silverman W. Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Inf. Process. Lett. 80 1 (2001) 25-31
23. A. Regev, W. Silverman, and E. Shapiro. Representation and simulation of biochemical processes using the pi-calculus process algebra. In Pacific Symposium on Biocomputing, pages 459-470, 2001
24. Stewart W. Introduction to the Numerical Solution of Markov Chains (1995), Princeton University Press
25. Turner T., Schnell S., and Burrage K. Stochastic approaches for modelling in vivo reactions. Computational biology and chemistry 28 3 (2004) 165-178
26. Wolkenhauer O., Ullah M., Kolch W., and Cho K. Modeling and simulation of intracellular dynamics: Choosing an appropriate framework. IEEE Transactions on NanoBioscience 3 3 (2004) 200-207