Formalisms for specifying Markovian population models

DOI10.1142/S0129054111008441MaRDI QIDQ3016219zbMATH OpenFDO

Authors 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)

Full work available at URL https://doi.org/10.1142/S0129054111008441

Mathematics Subject Classification ID

Applications of continuous-time Markov processes on discrete state spaces (60J28) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Systems biology, networks (92C42)

Recommendations

• Formalisms for Specifying Markovian Population Models
• scientific article; zbMATH DE number 19227
• A calculus of chemical systems
• Model checking Markov population models by stochastic approximations
• scientific article; zbMATH DE number 956806

Cites work

• A Compositional Approach to Performance Modelling
• Block SOR Preconditioned Projection Methods for Kronecker Structured Markovian Representations
• Exact and ordinary lumpability in finite Markov chains
• Fluid stochastic Petri nets: Theory, applications, and solution techniques
• Guarded commands, nondeterminacy and formal derivation of programs
• Stochastic approaches for modelling in vivo reactions
• Stochastic modelling for systems biology.
• Stochastic Petri Nets
• The numerical solution of stochastic automata networks

Cited in

(11)

• Nonlinear pattern matching in rule-based modeling languages
• Hybrid behaviour of Markov population models
• A compositional framework for Markov processes
• Mean-field limits beyond ordinary differential equations
• On Binomial Observations of Continuous-Time Markovian Population Models
• A Markov Chain Model of Population Growth with an Application in Epidemiology
• Process Algebra Models of Population Dynamics
• Formalisms for Specifying Markovian Population Models
• A semi-Markov model for a multigrade population with Poisson recruitment
• Algorithms for Markov binomial chains
• Modeling demographic processes in marked populations

Describes a project that uses

Uses Software

• MRMC

This page was built for publication: Formalisms for specifying Markovian population models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3016219)