Product form equilibrium distributions and a convolution algorithm for stochastic Petri nets

DOI10.1016/0166-5316(95)00023-2zbMath0900.68321DBLPjournals/pe/ColemanHT96OpenAlexW1992534487WikidataQ58645555 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

zbMATH Keywords

Convolution algorithmInvariant measureProduct formBatch movement queueing networkStochastic Petri net

Mathematics Subject Classification ID

Parallel algorithms in computer science (68W10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (9)

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

• SPNP

This page was built for publication: Product form equilibrium distributions and a convolution algorithm for stochastic Petri nets