Formalisms for Specifying Markovian Population Models

DOI10.1007/978-3-642-04420-5_2zbMath1260.68284MaRDI QIDQ3646248

Barbara Jobstmann, Verena Wolf, Thomas A. Henzinger

Publication date: 19 November 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://repository.ist.ac.at/67/1/Formalisms_for_specifying_Markovian_population_models.pdf

Mathematics Subject Classification ID

65C40: Numerical analysis or methods applied to Markov chains

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

60J27: Continuous-time Markov processes on discrete state spaces

68Q87: Probability in computer science (algorithm analysis, random structures, phase transitions, etc.)

Related Items

Bounding the equilibrium distribution of Markov population models

Uses Software

• Bio-PEPA
• SMART_
• MRMC

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Approximation of event probabilities in noisy cellular processes
• Continuous-time Markov chains. An applications-oriented approach
• Fluid stochastic Petri nets: Theory, applications, and solution techniques
• The numerical solution of stochastic automata networks
• Bio-PEPA: A framework for the modelling and analysis of biological systems
• Stochastic approaches for modelling in vivo reactions
• The Randomization Technique as a Modeling Tool and Solution Procedure for Transient Markov Processes
• Sliding Window Abstraction for Infinite Markov Chains
• 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