CORC  > 清华大学
Block-structured stochastic process algebra and its applications to queueing systems
Li, Y. ; Lin, C. ; Li, Q. ; Shan, Z.
2010-05-06 ; 2010-05-06 ; OCT
关键词DEATH PROCESSES Computer Science, Software Engineering
中文摘要A new and general stochastic process algebra with block structure, called PEPA(BS), is introduced, which is a generalisation of PEPA(ph)(infinity). For PEPABS, the activity durations may be allowed to be generally distributed, and the corresponding transition probability matrix has a blockpartitioned structure. Specifically, PEPA(BS) 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 PEPA(BS) 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.
语种英语 ; 英语
出版者INSTITUTION ENGINEERING TECHNOLOGY-IET ; HERTFORD ; MICHAEL FARADAY HOUSE SIX HILLS WAY STEVENAGE, HERTFORD SG1 2AY, ENGLAND
内容类型期刊论文
源URL[http://hdl.handle.net/123456789/9740]  
专题清华大学
推荐引用方式
GB/T 7714
Li, Y.,Lin, C.,Li, Q.,et al. Block-structured stochastic process algebra and its applications to queueing systems[J],2010, 2010, OCT.
APA Li, Y.,Lin, C.,Li, Q.,&Shan, Z..(2010).Block-structured stochastic process algebra and its applications to queueing systems..
MLA Li, Y.,et al."Block-structured stochastic process algebra and its applications to queueing systems".(2010).
个性服务
查看访问统计
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。


©版权所有 ©2017 CSpace - Powered by CSpace