Specification techniques for Markov reward models

DOI10.1007/BF01439850zbMATH Open0777.68029OpenAlexW1966429200MaRDI QIDQ686334FDOQ686334

Kishor S. Trivedi, B. R. Haverkort

Publication date: 13 October 1993

Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01439850

zbMATH Keywords

queueing networksstochastic Petri netshybrid techniquescommunicating processesfault treesMarkov reward modelsproduction rule systemsspecialized languages

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Theory of software (68N99)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Open, Closed, and Mixed Networks of Queues with Different Classes of Customers
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Randomization Technique as a Modeling Tool and Solution Procedure for Transient Markov Processes
• Title not available (Why is that?)
• Numerical transient analysis of Markov models
• Composite performance and dependability analysis
• The completion time of a job on multimode systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Calculating availability and performability measures of repairable computer systems using randomization
• On Evaluating the Performability of Degradable Computing Systems
• Evaluation of Performability for Degradable Computer Systems
• Performability: a retrospective and some pointers to the future
• Markov and Markov reward model transient analysis: An overview of numerical approaches
• Effects of checkpointing and queuebsfg on program performance
• Analysis of a composite performance reliability measure for fault-tolerant systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the solution of GSPN reward models
• Title not available (Why is that?)
• Performability analysis of computer systems: from model specification to solution
• A decomposition approach for stochastic reward net models
• Approximate performability and dependability analysis using generalized stochastic Petri nets
• Transient analysis of cumulative measures of markov model behavior
• Bounding availability of repairable systems

Cited In (14)

• Title not available (Why is that?)
• Model-checking large structured Markov chains.
• Title not available (Why is that?)
• Mixing logics and rewards for the component-oriented specification of performance measures
• Title not available (Why is that?)
• On the generalized reward generator for stochastic fluid models: A new equation for Ψ
• Composite performance and dependability analysis
• Title not available (Why is that?)
• Performance measure sensitive congruences for Markovian process algebras
• A decomposition approach for stochastic reward net models
• State-space support for path-based reward variables
• Analysis of inhomogeneous Markov reward models
• Performance evaluation with temporal rewards
• Title not available (Why is that?)

Uses Software

• MARCA
• PEPS
• DSPNexpress
• MACOM
• SPNP
• ESP

   Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Composite performance and dependability analysis 👍 👎
• Performability assessment by model checking of Markov reward models 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication: Specification techniques for Markov reward models

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