Product-Forms in Multi-Way Synchronizations
File(s)revision1.pdf (499.79 KB)
Accepted version
Author(s)
Harrison, PG
Marin, A
Type
Journal Article
Abstract
A new algorithm is given to find product-form solutions for the joint equilibrium probabilities in a class of synchronized Markov processes. This is based on, and proved by, multiple applications of the Reversed Compound Agent Theorem (RCAT) and can describe multi-way synchronizations (seen as chains of pairwise synchronizations) that occur in a prescribed order. The length of the sequence is unbounded but finite with probability 1. Several applications are given to illustrate the methodology, which include various modes of resets in queueing networks with negative customers. In particular, it is shown that there is a type of reset that can propagate further transitions in a chain actively. Furthermore, a number of completely new product-form models, for example, where the transitions in a chain are non-homogeneous, are given.
Date Issued
2013-09-12
Date Acceptance
2013-06-30
Citation
Computer Journal, 2013, 57 (11), pp.1693-1710
ISSN
1460-2067
Publisher
Oxford University Press (OUP)
Start Page
1693
End Page
1710
Journal / Book Title
Computer Journal
Volume
57
Issue
11
Copyright Statement
This is a pre-copyedited, author-produced PDF of an article accepted for publication in Computer Journal following peer review. The version of record The Computer Journal (2014) 57 (11): 1693-1710 is available online at: https://dx.doi.org/10.1093/comjnl/bxt103
Subjects
Science & Technology
Technology
Computer Science, Hardware & Architecture
Computer Science, Information Systems
Computer Science, Software Engineering
Computer Science, Theory & Methods
Computer Science
MARKOVIAN PROCESS ALGEBRA
G-NETWORKS
QUEUING-NETWORKS
SYSTEMS
CUSTOMERS
QUEUES
TIME
Publication Status
Published