Information Processing Letters
Numerical Evaluation of Stochastic Automata Networks
MASCOTS '95 Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
A Data Structure for the Efficient Kronecker Solution of GSPNs
PNPM '99 Proceedings of the The 8th International Workshop on Petri Nets and Performance Models
SMART: The Stochastic Model checking Analyzer for Reliability and Timing
QEST '04 Proceedings of the The Quantitative Evaluation of Systems, First International Conference
Theoretical Computer Science - Special issue: Computational systems biology
Computational Modeling of Genetic and Biochemical Networks (Computational Molecular Biology)
Computational Modeling of Genetic and Biochemical Networks (Computational Molecular Biology)
A compositional approach to the stochastic dynamics of gene networks
Transactions on Computational Systems Biology IV
Transactions on Computational Systems Biology VII
Review: Stochastic approaches for modelling in vivo reactions
Computational Biology and Chemistry
Computational Probability for Systems Biology
FMSB '08 Proceedings of the 1st international workshop on Formal Methods in Systems Biology
Teaching Concurrency Concepts to Freshmen
Transactions on Petri Nets and Other Models of Concurrency I
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics - Special issue on game theory
Concurrency and composition in a stochastic world
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
Hi-index | 0.00 |
This paper presents a stochastic modelling framework based on stochastic automata networks (SANs) for the analysis of complex biochemical reaction networks. Our approach takes into account the discrete character of quantities of components (i.e. the individual populations of the involved chemical species) and the inherent probabilistic nature of microscopic molecular collisions. Moreover, as for process calculi that have recently been applied to systems in biology, the SAN approach has the advantage of a modular design process being adequate for abstraction purposes. The associated composition operator leads to an elegant and compact representation of the underlying continuous-time Markov chain in form of a Kronecker product. SANs have been extensively used in performance analysis of computer systems and a large variety of numerical and simulative analysis algorithms exist. We illustrate that describing a biochemical reaction network by means of a SAN offers promising opportunities to get insight into the quantitative behaviour of systems in biology while taking advantage of the benefits of a compositional modelling approach.