ABSTRACT
Abstract Integrated performance and dependability analysis, called performability, has been receiving considerable attention in the design of complex, fault-tolerant systems. We present Petri Nets including Queuing Networks (PNiQ) a novel high-level modeling technique, which is particularly appropriate for performability evaluation. The definition integrates concepts of generalized stochastic Petri nets (GSPN) and Queuing Networks on the modeling level and specifies interfaces between them. Steady state solution is based on aggregation of queuing networks and replacing them with GSPN constructs that model the delays of tokens introduced by queuing nets. The resulting GSPN model can be analyzed with state of the art methods and tools. This process can be carried out automatically. Applicability of PNiQ for evaluation of performability is shown in an example.
