ACM Transactions on Computer Systems (TOCS)
Quantitative system performance: computer system analysis using queueing network models
Quantitative system performance: computer system analysis using queueing network models
Open, Closed, and Mixed Networks of Queues with Different Classes of Customers
Journal of the ACM (JACM)
Regenerative Simulation of Response Times in Networks of Queues
Journal of the ACM (JACM)
Exact Aggregation in Exponential Queueing Networks
Journal of the ACM (JACM)
Mean-Value Analysis of Closed Multichain Queuing Networks
Journal of the ACM (JACM)
ACM Computing Surveys (CSUR)
The Operational Analysis of Queueing Network Models
ACM Computing Surveys (CSUR)
The aggregate server method for analyzing serialization delays in computer systems
ACM Transactions on Computer Systems (TOCS)
Analyzing queueing networks with simultaneous resource possession
Communications of the ACM
Hybrid simulation models of computer systems
Communications of the ACM
Decomposability, instabilities, and saturation in multiprogramming systems
Communications of the ACM
Computational algorithms for closed queueing networks with exponential servers
Communications of the ACM
Extended Stochastic Petri Nets: Applications and Analysis
Performance '84 Proceedings of the Tenth International Symposium on Computer Performance Modelling, Measurement and Evaluation
The MVA Pre-empt resume priority approximation
SIGMETRICS '83 Proceedings of the 1983 ACM SIGMETRICS conference on Measurement and modeling of computer systems
The approximate solution of large queueing network models
The approximate solution of large queueing network models
On the integration of delay and throughput measures in distributed processing models
On the integration of delay and throughput measures in distributed processing models
Metamodeling: a study of approximations in queueing models
Metamodeling: a study of approximations in queueing models
On the integration of queueing networks and generalized stochastic petri nets for the performance evaluation of computer systems (modeling, queueing theory)
Modeling of Hierarchical Distributed Systems with Fault-Tolerance
IEEE Transactions on Software Engineering
PSB graphs for simulating cooperative and distributed program behavior
CSC '90 Proceedings of the 1990 ACM annual conference on Cooperation
Embedded Processes in Stochastic Petri Nets
IEEE Transactions on Software Engineering
Performance Evaluation of Parallel Systems by Using Unbounded Generalized Stochastic Petri Nets
IEEE Transactions on Software Engineering
Estimation and Enhancement of Real-Time Software Reliability Through Mutation Analysis
IEEE Transactions on Computers - Special issue on fault-tolerant computing
WSC '94 Proceedings of the 26th conference on Winter simulation
Performance Modeling of System Architectures
Journal of VLSI Signal Processing Systems - Special issue on the rapid prototyping of application specific signal processors (RASSP) program
ACM Transactions on Modeling and Computer Simulation (TOMACS) - Special issue on modeling and analysis of stochastic systems
IEEE Transactions on Computers
Model-Based Performance Prediction in Software Development: A Survey
IEEE Transactions on Software Engineering
Approximate closed-form aggregation of a fork-join structure in generalised stochastic petri nets
valuetools '06 Proceedings of the 1st international conference on Performance evaluation methodolgies and tools
Representing LCFSPR BCMP service center with Coxian service time by GSPN
Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
Modeling a flexible manufacturing cell using stochastic Petri nets with fuzzy parameters
Expert Systems with Applications: An International Journal
Performance engineering with product-form models: efficient solutions and applications
Proceedings of the 2nd ACM/SPEC International Conference on Performance engineering
A modular approach for model-based dependability evaluation of a class of systems
ISAS'04 Proceedings of the First international conference on Service Availability
A queuing network model for minimizing the total makespan of computational grids
Computers and Electrical Engineering
Investigating coupling patterns in state-space models for system reliability
Proceedings of the Winter Simulation Conference
An Exposition of Performance-Security Trade-offs in RANETs Based on Quantitative Network Models
Wireless Personal Communications: An International Journal
Hi-index | 14.99 |
A technique is presented whereby queueing network models and generalized stochastic Petri nets are combined in such a way as to exploit the best features of both modeling techniques. The resulting hierarchical modeling approach is useful in the solution of complex models of system behavior. The authors have chosen two examples from the recent literature to illustrate the power and scope of this technique. They also demonstrate how folding of the generalized stochastic Petri net models for these two examples is useful in obtaining efficiently solvable, approximate models (bounding models).