Expected impulse rewards in Markov regenerative stochastic Petri nets

DOI10.1007/3-540-61363-3_10MaRDI QIDQ4633161zbMATH OpenOpenAlexFDO

Authors

Publication date 2 May 2019

Published in Application and Theory of Petri Nets 1996 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-61363-3_10

zbMATH Keywords

Markov regenerative stochastic Petri netsmethod of supplementary variablesrate and impulse reward measures

Mathematics Subject Classification ID

Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A decomposition approach for stochastic reward net models
• Specification techniques for Markov reward models
• Regenerative stochastic Petri nets
• On the solution of GSPN reward models
• Performance analysis of Markov regenerative reward models

Cites work

• scientific article; zbMATH DE number 3113854 (Why is no real title available?)
• scientific article; zbMATH DE number 3522951 (Why is no real title available?)
• scientific article; zbMATH DE number 510833 (Why is no real title available?)
• scientific article; zbMATH DE number 3240796 (Why is no real title available?)
• scientific article; zbMATH DE number 956803 (Why is no real title available?)
• Reward model solution methods with impulse and rate rewards: an algorithm and numerical results

Cited in

(4)

• Categorical foundations for randomly timed automata
• Reward modeling based on first order fluid stochastic Petri nets
• On Markov reward modelling with FSPNs
• A decomposition approach for stochastic reward net models

This page was built for publication: Expected impulse rewards in Markov regenerative stochastic Petri nets

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