Methodological construction of product-form stochastic Petri nets for performance evaluation

详细信息	查看全文 | 推荐本文 |

• 作者：Simonetta Balsamo^a ; ^{balsamo@dsi.unive.it}  ; [Author Vitae] ; Peter G. Harrison^b ; ^{pgh@doc.ic.ac.uk}  ; [Author Vitae] ; Andrea Marin^a ; ^{marin@dsi.unive.it}  ; [Author Vitae]
• 关键词：Performance evaluation of software architectures ; Stochastic modelling ; Product-form solutions ; Petri nets ; Modular specification
• 刊名：Journal of Systems and Software
• 出版年：2012
• 期刊代码：80_01641212
• 类别：cp
• 出版时间：July, 2012
• 卷：85
• 期：7
• 页码：1520-1539
• 文件大小：930 K

摘要

Product-forms in Stochastic Petri nets (SPNs) are obtained by a compositional technique for the first time, by combining small SPNs with product-forms in a hierarchical manner. In this way, performance engineering methodology is enhanced by the greatly improved efficiency endowed to the steady-state solution of a much wider range of Markov models. Previous methods have relied on analysis of the whole net and so are not incremental鈥攈ence they are intractable in all but small models. We show that the product-form condition for open nets depends, in general, on the transition rates, whereas closed nets have only structural conditions for a product-form, except in rather pathological cases. Both the 鈥渂uilding blocks鈥?formed by the said small SPNs and their compositions are solved for their product-forms using the Reversed Compound Agent Theorem (RCAT), which, to date, has been used exclusively in the context of process-algebraic models. The resulting methodology provides a powerful, general and rigorous route to product-forms in large stochastic models and is illustrated by several detailed examples.