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