A comparative study of stochastic analysis techniques

CMSB 2010 - Proceedings of the 8th International Conference on Computational Methods in Systems Biology

Volumn , Issue , 2010, Pages 96-106

  Heiner, Monika ^a   Rohr, Christian ^b   Schwarick, Martin ^a   Streif, Stefan ^b  

^a BRANDENBURG UNIVERSITY OF TECHNOLOGY   (Germany)

^b Magdeburg Centre for Systems Biology MaCS   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPARATIVE STUDIES; COMPUTATIONAL TRACTABILITY; MULTI CORE; QUALITATIVE ANALYSIS; STANDARD BODIES; STOCHASTIC ANALYSIS; STOCHASTIC NOISE; STOCHASTIC PETRI NETS; STRUCTURAL INFORMATION; SYSTEMS BIOLOGY;

BIOLOGY; COMPUTATIONAL METHODS; GRAPH THEORY; NUMERICAL ANALYSIS; PETRI NETS; STOCHASTIC SYSTEMS;

STOCHASTIC MODELS;

EID: 78649859232     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1839764.1839776     Document Type: Conference Paper

References (40)

1. A. Aziz, K. Sanwal, V. Singhal, and R. Brayton. Model checking continuous-time Markov chains. ACM Trans. On Computational Logic, 1(1), 2000.
2. S. Baarir, M. Beccuti, D. Cerotti, M. De Pierro, S. Donatelli, and G. Franceschinis. The GreatSPN tool: recent enhancements. SIGMETRICS Perform. Eval. Rev., 36(4):4-9, 2009.
3. A. Bell and B. R. Haverkort. Distributed disk-based algorithms for model checking very large markov chains. Form. Methods Syst. Des., 29(2):177-196, 2006.
4. C. Baier, B. Haverkort, H. Hermanns, and J.-P. Katoen. Model checking continuous-time Markov chains by transient analysis. In Proc. CAV 2000, pages 358-372. LNCS 1855, Springer, 2000.
5. E. M. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, 2001
6. G. Ciardo, R. L. Jones, A. S. Miner, and R. Siminiceanu. Logical and stochastic modeling with SMART. Performance Evaluation, 63(1), 2006.
7. K.-H. Cho, S.-Y. Shin, H.-W. Kim, O. Wolkenhauer, B. McFerran, and W. Kolch. Mathematical modeling of the inuence of RKIP on the ERK signaling pathway. In CMSB 2003, pages 127-141. LNCS 2602, Springer, 2003.
8. M. Calder, V. Vyshemirsky, D. Gilbert, and R. Orton. Analysis of signalling pathways using continuous time Markov chains. Trans. on Computat. Syst. Biol. VI, LNCS/LNBI 4220, pages 44-67, 2006.
9. F. Didier, T. A. Henzinger, M. Mateescu, and V. Wolf. Fast Adaptive Uniformization for the Chemical Master Equation. In HiBi, 2009.
10. A. Franzke. Charlie 2.0 - a multi-threaded Petri net analyzer. Diploma Thesis, BTU Cottbus, CS Dep., 2009.
11. R. German. Performance analysis of communication systems with non-Markovian stochastic Petri nets. Wiley, 2001.
12. D. Gilbert and M. Heiner. From Petri nets to differential equations - an integrative approach for biochemical network analysis. In Proc. ICATPN 2006, pages 181-200. LNCS 4024, Springer, 2006.
13. D. Gilbert, M. Heiner, and S. Lehrack. A unifying framework for modelling and analysing biochemical pathways using Petri nets. In Proc. CMSB 2007, pages 200-216. LNCS/LNBI 4695, Springer, 2007.
14. D. T. Gillespie. Exact stochastic simulation of coupled chemical reactions. J. Phys. Chem., 81(25):2340-2361, December 1977.
15. S. Gaonkar, K. Keefe, R. Lamprecht, E. Rozier, P. Kemper, and W. H. Sanders. Performance and dependability modeling with Möbius. SIGMETRICS Perform. Eval. Rev., 36(4):16-21, 2009.
16. M. Heiner, R. Donaldson, and D. Gilbert. Petri Nets for Systems Biology, in Iyengar, M.S. (ed.), Symbolic Systems Biology: Theory and Methods. Jones and Bartlett Publishers, Inc., in Press, 2010.
17. C. Huang and J. Ferrell. Ultrasensitivity in the mitogen-activated protein kinase cascade. Proc. Natl. Acad. Sci., 93:10078-10083, 1996. (Pubitemid 26314577)
18. M. Heiner, D. Gilbert, and R. Donaldson. Petri nets in systems and synthetic biology. In SFM, pages 215-264. LNCS 5016, Springer, 2008.
19. A. Hinton, M. Kwiatkowska, G. Norman, and D. Parker. PRISM: A tool for automatic verification of probabilistic systems. In Proc. TACAS 2006, pages 441-444. Springer, LNCS 3920, 2006.
20. M. Heiner, S. Lehrack, D. Gilbert, and W. Marwan. Extended Stochastic Petri Nets for Model-Based Design of Wetlab Experiments. pages 138-163. LNCS/LNBI 5750, Springer, 2009.
21. T. Henzinger, M. Mateescu, and V. Wolf. Sliding window abstraction for infinite Markov chains. In Proc. CAV, pages 337-352. Springer, LNCS 5643, 2009.
22. S. Hoops, S. Sahle, R. Gauges, C. Lee, J. Pahle, N. Simus, M. Singhal, L. Xu, P. Mendes, and U. Kummer. Copasi{a complex pathway simulator. Bioinformatics, 22(24):3067-74, Dec 2006.
23. M. Heiner, M. Schwarick, and A. Tovchigrechko. DSSZ-MC - A Tool for Symbolic Analysis of Extended Petri Nets. In Proc. Petri Nets 2009, pages 323-332. LNCS 5606, Springer, 2009.
24. D. N. Jansen, J.-P. Katoen, M. Oldenkamp, M. Stoelingan, and I. Zapreev. How fast and fat is your probabilistic model checker? In HVC 2007, pages 69-85. Springer, LNCS 4899, 2008.
25. W. J. Knottenbelt. Parallel Performance Analysis of Large Markov Models. PhD thesis, Department of Computing, Imperial College of Science, Technology and Medicine. University of London., December 1999.
26. M. Kwiatkowska, G. Norman, and D. Parker. Using probabilistic model checking in systems biology. ACM SIGMETRICS Performance Evaluation Review, 35(4):14-21, 2008.
27. Joost-Pieter Katoen, Ivan S. Zapreev, Ernst Moritz Hahn, Holger Hermanns, and David N. Jansen. The Ins and Outs of The Probabilistic Model Checker MRMC. In Quantitative Evaluation of Systems (QEST), pages 167-176. IEEE Computer Society, 2009.
28. A. Levchenko, J. Bruck, and P.W. Sternberg. Scaffold proteins may biphasically affect the levels of mitogen-activated protein kinase signaling and reduce its threshold properties. Proc Natl Acad Sci USA, 97(11):5818-5823, 2000.
29. H. Li, Y. Cao, L. Petzold, and D.T. Gillespie. Algorithms and software for stochastic simulation of biochemical reacting systems. Biotechnol Prog, 24(1):56-61, 2008.
30. M. Matsumoto and T. Nishimura. Mersenne twister: a 623-dimensionally equidistributed uniform pseudo-random number generator. ACM Trans. Model. Comput. Simul., 8(1):3-30, 1998.
31. A. Miner and D. Parker. Validation of Stochastic Systems: A Guide to Current Research, chapter Symbolic Representations and Analysis of Large Probabilistic Systems, pages 296-338. LNCS 2925. Springer, 2004.
32. J. M. McCollum, G. D. Peterson, C. D. Cox, M. L. Simpson, and N. F. Samatova. The sorting direct method for stochastic simulation of biochemical systems with varying reaction execution behavior. Comput. Biol. Chem., 30(1):39-49, 2006.
33. L. Napione, D. Manini, F. Cordero, A. Horvath, A. Picco, M. De Pierro, S. Pavan, M. Sereno, A. Veglio, F. Bussolino, and G. Balbo. On the Use of Stochastic Petri Nets in the Analysis of Signal Transduction Pathways for Angiogenesis Process. In Proc. CMSB 2009, pages 281-295. LNCS/LNBI 5688, Springer, 2009.
34. C. Rohr, W. Marwan, and M. Heiner. Snoopy{a unifying Petri net framework to investigate biomolecular networks. Bioinformatics, 26(7):974-975, 2010.
35. S. Ramsey, D. Orrell, and H. Bolouri. Dizzy: stochastic simulation of large-scale genetic regulatory networks. J Bioinform Comput Biol, 3(2):437-54, Apr 2005.
36. M. Schwarick and M. Heiner. CSL model checking of biochemical networks with interval decision diagrams. In Proc. CMSB 2009, pages 296-312. LNCS/LNBI 5688, Springer, 2009.
37. W. Sandmann and C. Maier. On the statistical accuracy of stochastic simulation algorithms implemented in Dizzy. In Proc. WCSB 2008, pages 153-156, 2008.
38. P.H. Starke and S. Roch. INA - The Integrated Net Analyzer. www.informatik.huberlin.de/-starke/ina.html, 1999.
39. W.J. Stewart. Introduction to the Numerical Solution of Markov Chains. Princeton Univ. Press, 1994.
40. A. Tovchigrechko. Model Checking Using Interval Decision Diagrams. PhD thesis, BTU Cottbus, Dep. of CS, 2008.