IEEE Transactions on Computers
Product from solutions for multiserver centres with concurrent classes of customers
Performance Evaluation
Product form equilibrium distributions and a convolution algorithm for stochastic Petri nets
Performance Evaluation
Mean value analysis of stochastic Petri nets
Performance Evaluation
A BCMP extension to multiserver stations with concurrent classes of customers
SIGMETRICS '86/PERFORMANCE '86 Proceedings of the 1986 ACM SIGMETRICS joint international conference on Computer performance modelling, measurement and evaluation
Open, Closed, and Mixed Networks of Queues with Different Classes of Customers
Journal of the ACM (JACM)
Product Form and Local Balance in Queueing Networks
Journal of the ACM (JACM)
Computational algorithms for product form queueing networks
Communications of the ACM
Computer Performance Modeling Handbook
Computer Performance Modeling Handbook
Analysis of Queueing Networks with Blocking
Analysis of Queueing Networks with Blocking
Performance Evaluation
Multiple Class G-Networks with Jumps back to Zero
MASCOTS '95 Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
Turning back time in Markovian process algebra
Theoretical Computer Science
Modeling a new technique for accessing shared buses
Proceedings of the Computer Network Performance Symposium
Model-Based Performance Prediction in Software Development: A Survey
IEEE Transactions on Software Engineering
Compositional reversed Markov processes, with applications to G-networks
Performance Evaluation
Separable equilibrium state probabilities via time reversal in Markovian process algebra
Theoretical Computer Science - Quantitative aspects of programming languages (QAPL 2004)
Automated product-forms with Meercat
SMCtools '06 Proceeding from the 2006 workshop on Tools for solving structured Markov chains
Performance Analysis Using Stochastic Petri Nets
IEEE Transactions on Computers
Representing LCFSPR BCMP service center with Coxian service time by GSPN
Proceedings of the 2nd international 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
A numerical algorithm for the solution of product-form models with infinite state spaces
EPEW'10 Proceedings of the 7th European performance engineering conference on Computer performance engineering
A queueing network model with catastrophes and product form solution
Operations Research Letters
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 |
Performance engineering plays a pivotal role in the successful design of software system and the software development process. Stochastic modelling has been widely applied to predict and evaluate or estimate system performance. We consider the specification of models in terms of compositions of simpler components and their efficient solution. Various formalisms or classes of stochastic models have been applied for system performance engineering and evaluation. These formalisms includes queueing networks, Stochastic Petri Nets, and Stochastic Process Algebras. Their dynamic behaviour can be usually represented by an underlying stochastic (Markov) process. For each formalism some classes of product-form models have been identified, starting from the first remarkable results for BCMP queueing networks. For some product-form models various efficient algorithms have been defined. We discuss the problem of identifying and characterize classes of product-form models. We compare the properties of the various modeling formalisms, their solution and the combination of product-form (sub)models into a heterogeneous model. We illustrate the application of product-form stochastic models for system performance engineering with some examples of tools for the solution of heterogeneous models formed by synchronized sub-models, and some practical applications.