PNiQ-generalized stochastic petri nets including queuing networks

摘要

We combine generalized stochastic Petri nets (GSPN) and queuing networks at the modeling level by defining Petri Nets including Queuing Nets(PNiQ).The definition is especially designed to allow approximate analysis by aggregation of the queuing nets and replacing them with GSPN elements. Usually the aggregation of combined GSPN and queuing net models is carried out manually which limits the use of this technique to experts and furthermore may easily laead to modeling errors and larger approximation errors than inherent in the method This is what we want to avoid by the definition fo PNiQ which incorporate queuing networks into GSPN and provide interfaces between them.Thereby combined modeling is made easier and less error-prone even for the non-expert.Steady state analysis of the model can be carried out automatically: queuing net parts are analyzed with efficient queuing net-algorithms for large nets and replaced by GSPN subnets that model the delay of tokens in the queuing nets.The resulting GSPN can then be analyzed with state-of-the-art methods and tools.