Product form equilibrium distributions and a convolution algorithm for stochastic Petri nets
From MaRDI portal
Publication:3122378
DOI10.1016/0166-5316(95)00023-2zbMath0900.68321OpenAlexW1992534487WikidataQ58645555 ScholiaQ58645555MaRDI QIDQ3122378
J. L. Coleman, W. Henderson, Peter G. Taylor
Publication date: 27 February 1997
Published in: Performance Evaluation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0166-5316(95)00023-2
Convolution algorithmInvariant measureProduct formBatch movement queueing networkStochastic Petri net
Parallel algorithms in computer science (68W10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
A general formulation for mean-value analysis in product-form batch- movement queueing networks, Extending propositional dynamic logic for Petri nets, Proportional lumpability and proportional bisimilarity, Triggered batch movement in queueing networks, Synthesis and Analysis of Product-Form Petri Nets, Unnamed Item, Transient detailed balance and product form for reaction networks, Deficiency Zero Petri Nets and Product Form, Modelling Retrial-Upon-Conflict Systems with Product-Form Stochastic Petri Nets
Uses Software