scientific article; zbMATH DE number 510833

MaRDI QIDQ4281302zbMATH OpenFDO

Authors Gianfranco Ciardo, Alex Blakemore, Philip E. Jun. Chimento, Jogesh K. Muppala, Kishor S. Trivedi

Publication date 17 November 1994

zbMATH Keywords

sensitivity analysisnumerical methodssteady state solutionsstochastic Petri netsMarkov reward models

Mathematics Subject Classification ID

Reliability, availability, maintenance, inspection in operations research (90B25) Applications of renewal theory (reliability, demand theory, etc.) (60K10)

Recommendations

• A decomposition approach for stochastic reward net models
• Specification techniques for Markov reward models
• scientific article; zbMATH DE number 1008397

Cited in

(13)

• Modeling discrete event systems with state-dependent deterministic service times
• Specification techniques for Markov reward models
• Revisiting the matrix-free solution of Markov regenerative processes.
• Numerical computation of response time distributions using stochastic reward nets
• Aggregation/disaggregation method for safety models.
• Dependability analysis of the data communication system in train control system
• Performance analysis of Markov regenerative reward models
• Performance analysis of the \(M/G/c\) retrial queueing systems using the theory of Markov regenerative stochastic Petri nets.
• Uncertainty modelling of dynamically reconfigurable systems based on rewriting stochastic reward nets with Z-fuzzy parameters
• An SRN-based resiliency quantification approach
• Fluid stochastic Petri nets: Theory, applications, and solution techniques
• A decomposition approach for stochastic reward net models
• Expected impulse rewards in Markov regenerative stochastic Petri nets

Describes a project that uses

Uses Software

• ESP
• SPNP

This page was built for publication:

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