On the solution of GSPN reward models
From MaRDI portal
Publication:3994065
DOI10.1016/0166-5316(91)90003-LzbMath0754.60097OpenAlexW2034883517MaRDI QIDQ3994065
Kishor S. Trivedi, Jogesh K. Muppala, Gianfranco Ciardo
Publication date: 13 August 1992
Published in: Performance Evaluation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0166-5316(91)90003-l
sensitivity analysisnumerical solutionperformance modelingMarkov reward modelsgeneralized stochastic Petri net
Queues and service in operations research (90B22) Applications of Markov renewal processes (reliability, queueing networks, etc.) (60K20)
Related Items
Equivalences for fluid stochastic Petri nets, A notion of equivalence for stochastic Petri nets, Specification techniques for Markov reward models, Mixing logics and rewards for the component-oriented specification of performance measures, Performance evaluation in stochastic process algebra dtsdPBC, Logical characterization of fluid equivalences, Performance measure sensitive congruences for Markovian process algebras, Performance optimization for a class of generalized stochastic Petri nets