Stochastic semantics of signaling as a composition of agent-view automata

Electronic Notes in Theoretical Computer Science

Volumn 272, Issue 1, 2011, Pages 3-17

  Koeppl, Heinz ^a   Petrov, Tatjana ^a  

^a EPFL   (Switzerland)

Author keywords

Cell signaling; Continuous time Markov chain; Stochastic automata composition

Indexed keywords

CELL SIGNALING; CELLULAR SIGNALING; CONTINUOUS-TIME MARKOV CHAIN; GENERATOR MATRIX; INTERACTING AGENTS; INTERNAL STATE; SIGNAL TRANSDUCTION NETWORKS; STOCHASTIC AUTOMATA; STOCHASTIC DYNAMICS; STOCHASTIC PROCESS; STOCHASTIC SEMANTICS;

CONTINUOUS TIME SYSTEMS; MARKOV PROCESSES; SEMANTICS; SIGNAL TRANSDUCTION; SIGNALING; STOCHASTIC SYSTEMS;

AUTOMATA THEORY;

EID: 79955591852     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2011.04.002     Document Type: Conference Paper

References (22)

1. C. Baier, B. Haverkort, H. Hermanns, and J.-P. Katoen Model-checking algorithms for continuous-time Markov chains IEEE Transactions on Software Engineering 29 2003 2003
2. N.M. Borisov, N.I. Markevich, J.B. Hoek, and B.N. Kholodenko Signaling through receptors and scaffolds: Independent interactions reduce combinatorial complexity Biophys J 89 2005 951 966 (Pubitemid 41098981)
3. P. Buchholz, and P. Kemper Kronecker based matrix representations for large Markov models Validation of Stochastic Systems Lecture Notes in Computer Science vol. 2925 2004 256 295
4. J.-P. Changeux, and S.J. Edelstein Allosteric mechanisms of signal transduction Science 308 2005 1424 1428 (Pubitemid 40791288)
5. H. Conzelmann, J. Saez-Rodriguez, T. Sauter, B.N. Kholodenko, and E.D. Gilles A domain oriented approach to the reduction of combinatorial complexity in signal transduction networks BMC Syst Biol 7 2006
6. Danos, V., J. Feret, W. Fontana and J. Krivine, Abstract interpretation of cellular signalling networks, 4905, 2008, pp. 42-58.
7. V. Danos, and C. Laneve Core formal molecular biology Theoretical Computer Science 325 2003 69 110
8. J. Feret, V. Danos, J. Krivine, R. Harmer, and W. Fontana Internal coarse-graining of molecular systems Proc. Natl. Acad. Sci. USA 106 2009 6453 6458
9. Feret, J., T. A. Henzinger, H. Koeppl and T. Petrov, Lumpability abstractions of rule-based systems, MeCBIC (2010), pp. 142-161.
10. Feret, J., H. Koeppl and T. Petrov, Stochastic fragments: A framework for the exact reduction of the stochastic semantics of rule-based models, International Journal of Software and Informatics in press (2010).
11. D.T. Gillespie Exact stochastic simulation of coupled chemical reactions J Phys Chem 81 1977 2340 2361
12. P. Kemper Numerical analysis of superposed GSPNs IEEE T Software Eng 9 1996 615 628 (Pubitemid 126771372)
13. T. Mori, D.R. Willams, M.O. Bryne, X. Qin, M. Egli, H.S. Mchaourab, P.L. Stewart, and C.H. Johnson Elucidating the ticking of an in vitro circadian clockwork PLoS Biol 5 2007 841 853 (Pubitemid 46631860)
14. M. Nakajima, K. Imai, H. Ito, T. Nishiwaki, Y. Murayama, H. Iwasaki, T. Oyama, and T. Kondo Reconstitution of circadian oscillation of cyanobacterial KaiC phosphorylation in vitro Science 308 2005 414 415 (Pubitemid 40530079)
15. T. Nishiwaki, Y. Satomi, Y. Kitayama, K. Terauchi, R. Kiyohara, T. Takao, and T. Kondo A sequential program of dual phosphorylation of KaiC as a basis for circadian rhythm in cyanobacteria EMBO J 26 2007 4029 4037 (Pubitemid 47367500)
16. Plateau, B., On the stochastic structure of parallelism and synchronization models for distributed algorithms, 13, 1985, pp. 147-154.
17. C. Salazar, and T. Höfer Multisite protein phosphorylation - from molecular mechanisms to kinetic models FEBS J 276 2009 3177 3198
18. R.G. Smock, and L.M. Gierasch Sending signals dynamically Science 324 2009 198 203
19. C.F. Van Loan The ubiquitous kronecker product Comput Appl Math 123 2000 85 100
20. J.S. van Zon, D.K. Lubensky, and P.R.H. Altena An allosteric model of circadian KaiC phosphorylation Proc Natl Acad Sci USA 104 2007 7420 7425 (Pubitemid 47185921)
21. C.T. Walsh Posttranslation Modification of Proteins: Expanding Natures Inventory 2006 Roberts and Co. Publisher
22. V. Wolf Modelling of biochemical reactions by stochastic automata networks Electron. Notes Theor. Comput. Sci. 171 2007 197 208 (Pubitemid 46977859)