Specification, construction, and exact reduction of state transition system models of biochemical processes

Journal of Chemical Physics

Volumn 137, Issue 15, 2012, Pages

  Bugenhagen, Scott M ^a   Beard, Daniel A ^a  

^a MEDICAL COLLEGE OF WISCONSIN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED APPLICATIONS; AUTOMATED GENERATION; BIOCHEMICAL PROCESS; BIOCHEMICAL REACTIONS; DISCRETE EVENTS; FULL MODEL; HIGH LEVEL SPECIFICATION; HIGH-LEVEL MODELS; HYPER GRAPH; ION CHANNEL; MODEL ANALYSIS; NUMBER OF STATE; REACTION EVENTS; STATE TRANSITION SYSTEMS; STATE TRANSITIONS; SYMMETRY REDUCTION;

MODEL CHECKING;

SPECIFICATIONS;

ION CHANNEL;

ARTICLE; BIOLOGICAL MODEL; GENE REGULATORY NETWORK; METABOLISM;

GENE REGULATORY NETWORKS; ION CHANNELS; MODELS, BIOLOGICAL;

EID: 84867754298     PISSN: 00219606     EISSN: None     Source Type: Journal    
DOI: 10.1063/1.4758074     Document Type: Article

References (34)

1. N. Le Novere and T. S. Shimizu, Bioinformatics 17 (6), 575 (2001). 10.1093/bioinformatics/17.6.575
2. M. L. Blinov, J. R. Faeder, B. Goldstein, and W. S. Hlavacek, Bioinformatics 20 (17), 3289 (2004). 10.1093/bioinformatics/bth378
3. V. Danos and C. Laneve, Theor. Comput. Sci. 325 (1), 69 (2004). 10.1016/j.tcs.2004.03.065
4. L. Lok and R. Brent, Nat. Biotechnol. 23 (1), 131 (2005). 10.1038/nbt1054
5. D. T. Gillespie, Annual Review of Physical Chemistry (Annual Reviews, Palo Alto, 2007), Vol. 58, pp. 35.
6. A. Miner and D. Parker, Validation of Stochastic Systems: A Guide to Current Research (Springer-Verlag, Berlin, 2004), Vol. 2925, pp. 296.
7. B. Haverkort, Perform. Eval. 18, 61 (1993). 10.1016/0166-5316(93)90027-R
8. B. Haverkort, Comput. J. 38 (7), 521 (1995). 10.1093/comjnl/38.7.521
9. B. Munsky and M. Khammash, J. Chem. Phys. 124 (4), 13 (2006). 10.1063/1.2145882
10. P. Buchholz, J. Appl. Probab. 31 (1), 59 (1994). 10.2307/3215235
11. J. Keener, J. Math. Biol. 58 (3), 447 (2009). 10.1007/s00285-008-0199-6
12. M. Sereno, Comput. J. 38 (7), 622 (1995). 10.1093/comjnl/38.7.622
13. B. Haverkort and K. Trivedi, Discrete Event Dyn. Syst. 3 (3), 219 (1993). 10.1007/BF01439850
14. P. Goss and J. Peccoud, Proc. Ntl. Acad. Sci. 95 (12), 6750 (1998). 10.1073/pnas.95.12.6750
15. S. Donatelli, in Proceedings of the 15th International Conference on Application and Theory of Petri Nets, Lecture Notes in Computer Science (Springer-Verlag Berlin, 1994), Vol. 815, pp. 258.
16. D. D. Devours, G. Clark, T. Courtney, D. Daly, S. Derisavi, J. M. Doyle, W. H. Sanders, and P. G. Webster, IEEE Trans. Software Eng. 28 (10), 256 (2002). 10.1109/32.991320
17. R. Lamprecht, G. D. Smith, and P. Kemper, Nat. Comput. 10 (3), 1045 (2011). 10.1007/s11047-009-9143-y
18. J. Feret, V. Danos, J. Krivine, R. Harmer, and W. Fontana, Proc. Ntl. Acad. Sci. 106 (16), 6453-6458 (2009). 10.1073/pnas.0809908106
19. J. Feret, H. Koeppl, and T. Petrov, " Stochastic fragments: A framework for the exact reduction of the stochastic semantics of rule-based models.," Int. J. Software Inf. (in press), available online at http://infoscience.epfl.ch/record/142570.
20. J. Feret, T. Henzinger, H. Koeppl, and T. Petrov, Theor. Comput. Sci. 431 (4), 137 (2012). 10.1016/j.tcs.2011.12.059
21. W. Douglas Obal II, M. G. McQuinn, and W. H. Sanders, IEEE Trans. Reliab. 56 (4), 643 (2007). 10.1109/TR.2007.909761
22. T. Junttila, Ph.D. dissertation, Helsinki University of Technology, 2003.
23. J. Sproston and S. Donatelli, IEEE Trans. Software Eng. 32 (8), 531 (2006). 10.1109/TSE.2006.74
24. J. G. Kemeny and J. L. Snell, Finite Markov Chains (Van Nostrand, Princeton, NJ, 1960).
25. P. J. Schweitzer, In Proceedings of the International Workshop on Computer Performance and Reliability (North-Holland, Amsterdam, The Netherlands, 1984), pp. 275.
26. S. Derisavi, H. Hermanns, and W. H. Sanders, Inf. Process. Lett. 87 (6), 309 (2003). 10.1016/S0020-0190(03)00343-0
27. B. D. McKay, NAUTY, version 2.4, June 2010. Downloaded from the internet at http://cs.anu.edu.au/~bdm/nauty/.
28. See supplementary material at http://dx.doi.org/10.1063/1.4758074 E-JCPSA6-137-005240 for MATLAB codes and tables for examples.
29. V. Nguyen, R. Mathias, and G. D. Smith, Bull. Math. Biol. 67 (3), 393 (2005). 10.1016/j.bulm.2004.08.010
30. J. L. Greenstein, R. Hinch, and R. L. Winslow, Biophys. J. 90 (1), 77 (2006). 10.1529/biophysj.105.065169
31. C. A. Gomez-Uribe, G. C. Verghese, and A. R. Tzafriri, J. Chem. Phys. 129 (24), 244112 (2008). 10.1063/1.3050350
32. S. Peles, B. Munsky, and M. Khammash, J. Chem. Phys. 125 (20), 13 (2006). 10.1063/1.2397685
33. T. Juntilla, Research Report A75 (Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, 2002).
34. T. Juntilla, Applications and Theory of Petri Nets, Lecture Notes in Computer Science (Springer-Verlag, Berlin, 2004), Vol. 3099, pp. 258.