FORMALISMS FOR SPECIFYING MARKOVIAN POPULATION MODELS

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)

Mathematics Subject Classification ID

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

Related Items (2)

Nonlinear pattern matching in rule-based modeling languages ⋮ Mean-Field Limits Beyond Ordinary Differential Equations

Uses Software

• MRMC

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

This page was built for publication: FORMALISMS FOR SPECIFYING MARKOVIAN POPULATION MODELS