By Topic

Block-structured stochastic process algebra and its applications to queueing systems

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $33
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

4 Author(s)
Y. Li ; Dept. of Comput. Sci. & Technol., Tsinghua Univ., Beijing ; C. Lin ; Q. Li ; Z. Shan

A new and general stochastic process algebra with block structure, called PEPABS, is introduced, which is a generalisation of PEPAph infin. For PEPABS, the activity durations may be allowed to be generally distributed, and the corresponding transition probability matrix has a block-partitioned structure. Specifically, PEPABS is suitable for describing and analysing performance of general systems with block-structured transition probability matrices, such as Markov chains of GI/G/1 type. The steady-state probabilities of the PEPABS model can be calculated by means of censoring technique and the RG-factorisation, which have been successfully applied to study infinite-state Markov chain or Markov renewal process. Some practical examples show that the formal method is convenient to model and analyse non-Markovian systems, and can efficiently tackle an infinite-state problem under an algorithmic framework

Published in:

IEE Proceedings - Software  (Volume:153 ,  Issue: 5 )