FORMALISMS FOR SPECIFYING MARKOVIAN POPULATION MODELS
From MaRDI portal
Publication:3016219
DOI10.1142/S0129054111008441zbMath1216.68190MaRDI QIDQ3016219
Barbara Jobstmann, Verena Wolf, Thomas A. Henzinger
Publication date: 14 July 2011
Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
92C42: Systems biology, networks
60J28: Applications of continuous-time Markov processes on discrete state spaces
Related Items
Nonlinear pattern matching in rule-based modeling languages, Mean-Field Limits Beyond Ordinary Differential Equations
Uses Software
Cites Work
- Unnamed Item
- Fluid stochastic Petri nets: Theory, applications, and solution techniques
- The numerical solution of stochastic automata networks
- Stochastic approaches for modelling in vivo reactions
- Guarded commands, nondeterminacy and formal derivation of programs
- Exact and ordinary lumpability in finite Markov chains
- Stochastic Petri Nets
- Block SOR Preconditioned Projection Methods for Kronecker Structured Markovian Representations
- A Compositional Approach to Performance Modelling