Specification techniques for Markov reward models

DOI10.1007/BF01439850zbMath0777.68029OpenAlexW1966429200MaRDI QIDQ686334

Kishor S. Trivedi, Boudewijn 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

stochastic Petri netsqueueing networkshybrid 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)

Related Items

Model-checking large structured Markov chains., On the generalized reward generator for stochastic fluid models: A new equation for Ψ, Mixing logics and rewards for the component-oriented specification of performance measures, Performance measure sensitive congruences for Markovian process algebras

Uses Software

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

Cites Work

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