Formalisms for Specifying Markovian Population Models

DOI10.1007/978-3-642-04420-5_2zbMath1260.68284OpenAlexW2113671612MaRDI 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

Numerical analysis or methods applied to Markov chains (65C40) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Continuous-time Markov processes on discrete state spaces (60J27) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

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