Details
Original language | English |
---|---|
Pages (from-to) | 27-32 |
Number of pages | 6 |
Journal | IEE Proceedings: Software |
Volume | 146 |
Issue number | 1 |
Publication status | Published - 1999 |
Externally published | Yes |
Abstract
Generalised stochastic Petri nets (GSPN) and queuing networks are combined at the modelling level by defining Petri Nets including Queuing Networks (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 network models is carried out manually which limits the use of this technique to experts and furthermore may easily lead to modelling errors and larger approximation errors than inherent in the method. These are avoided by the definition of PNiQ which shows how to incorporate queuing networks into GSPN and provides interfaces between them. This makes combined modelling easier and less error-prone. Steady state analysis of the model can be carried out automatically: queuing network parts are analysed with efficient queuing network algorithms for large nets and replaced by GSPN subnets that model the delay of tokens in the queuing network. The resulting GSPN can then be handled with state-of-the-art tools.
ASJC Scopus subject areas
- Computer Science(all)
- Software
- Computer Science(all)
- Computer Graphics and Computer-Aided Design
Cite this
- Standard
- Harvard
- Apa
- Vancouver
- BibTeX
- RIS
In: IEE Proceedings: Software, Vol. 146, No. 1, 1999, p. 27-32.
Research output: Contribution to journal › Article › Research › peer review
}
TY - JOUR
T1 - PIMiQ
T2 - Integration of queuing networks in generalised stochastic Petri nets
AU - Becker, Matthias
AU - Szczerbicka, Helena
PY - 1999
Y1 - 1999
N2 - Generalised stochastic Petri nets (GSPN) and queuing networks are combined at the modelling level by defining Petri Nets including Queuing Networks (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 network models is carried out manually which limits the use of this technique to experts and furthermore may easily lead to modelling errors and larger approximation errors than inherent in the method. These are avoided by the definition of PNiQ which shows how to incorporate queuing networks into GSPN and provides interfaces between them. This makes combined modelling easier and less error-prone. Steady state analysis of the model can be carried out automatically: queuing network parts are analysed with efficient queuing network algorithms for large nets and replaced by GSPN subnets that model the delay of tokens in the queuing network. The resulting GSPN can then be handled with state-of-the-art tools.
AB - Generalised stochastic Petri nets (GSPN) and queuing networks are combined at the modelling level by defining Petri Nets including Queuing Networks (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 network models is carried out manually which limits the use of this technique to experts and furthermore may easily lead to modelling errors and larger approximation errors than inherent in the method. These are avoided by the definition of PNiQ which shows how to incorporate queuing networks into GSPN and provides interfaces between them. This makes combined modelling easier and less error-prone. Steady state analysis of the model can be carried out automatically: queuing network parts are analysed with efficient queuing network algorithms for large nets and replaced by GSPN subnets that model the delay of tokens in the queuing network. The resulting GSPN can then be handled with state-of-the-art tools.
UR - http://www.scopus.com/inward/record.url?scp=0032680210&partnerID=8YFLogxK
U2 - 10.1049/ip-sen:19990153
DO - 10.1049/ip-sen:19990153
M3 - Article
AN - SCOPUS:0032680210
VL - 146
SP - 27
EP - 32
JO - IEE Proceedings: Software
JF - IEE Proceedings: Software
SN - 1462-5970
IS - 1
ER -