Numerical transient analysis of Markov models
Computers and Operations Research
Markovian Petri Nets protocols with product form solution
Performance Evaluation
Product form equilibrium distributions and a convolution algorithm for stochastic Petri nets
Performance Evaluation
Open, Closed, and Mixed Networks of Queues with Different Classes of Customers
Journal of the ACM (JACM)
IEEE Transactions on Software Engineering
Product Form Solution for Generalized Stochastic Petri Nets
IEEE Transactions on Software Engineering
Turning back time in Markovian process algebra
Theoretical Computer Science
From UML activity diagrams to Stochastic Petri nets: application to software performance engineering
WOSP '04 Proceedings of the 4th international workshop on Software and performance
Compositional reversed Markov processes, with applications to G-networks
Performance Evaluation
Product-form and stochastic Petri nets: a structural approach
Performance Evaluation
Separable equilibrium state probabilities via time reversal in Markovian process algebra
Theoretical Computer Science - Quantitative aspects of programming languages (QAPL 2004)
Performance Analysis Using Stochastic Petri Nets
IEEE Transactions on Computers
Deficiency Zero Petri Nets and Product Form
PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
Short communication: Product-forms and functional rates
Performance Evaluation
Probability, Markov Chains, Queues, and Simulation: The Mathematical Basis of Performance Modeling
Probability, Markov Chains, Queues, and Simulation: The Mathematical Basis of Performance Modeling
Response time distributions and network perturbation into product-form
Proceedings of the Fourth International ICST Conference on Performance Evaluation Methodologies and Tools
A general result for deriving product-form solutions in markovian models
Proceedings of the first joint WOSP/SIPEW international conference on Performance engineering
Product form approximations for communicating Markov processes
Performance Evaluation
Product-form solutions for models with joint-state dependent transition rates
ASMTA'10 Proceedings of the 17th international conference on Analytical and stochastic modeling techniques and applications
From UML to Petri Nets: The PCM-Based Methodology
IEEE Transactions on Software Engineering
ArgoSPE: model-based software performance engineering
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Analysis of stochastic Petri nets with signals
Performance Evaluation
Exploiting product forms solution techniques in multiformalism modeling
Electronic Notes in Theoretical Computer Science (ENTCS)
Synthesis and Analysis of Product-form Petri Nets
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2011
| Hi-index | 0.00 |
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-hence 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 ''building 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.