Combining queueing network and Generalized Stochastic Petri Net models for the analysis of some software blocking phenomena

Much work has been done on the modeling of hardware resources; far fewer studies have been conducted on the impact of software systems on the underlying hardware. The authors address one such case in which blocking is present because of critical sections of code; this cannot be treated within the framework of product-form queuing network models. They show how a combination of generalized stochastic petri nets and queuing networks can easily model the situation under consideration. In addition, they show how a simple extension of this model can be applied to studying realistic systems with several domains.