PIMiQ: Integration of queuing networks in generalised stochastic Petri nets

Research output: Contribution to journalArticleResearchpeer review

Authors

  • Matthias Becker
  • Helena Szczerbicka

External Research Organisations

  • University of Bremen
View graph of relations

Details

Original languageEnglish
Pages (from-to)27-32
Number of pages6
JournalIEE Proceedings: Software
Volume146
Issue number1
Publication statusPublished - 1999
Externally publishedYes

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

Cite this

PIMiQ: Integration of queuing networks in generalised stochastic Petri nets. / Becker, Matthias; Szczerbicka, Helena.
In: IEE Proceedings: Software, Vol. 146, No. 1, 1999, p. 27-32.

Research output: Contribution to journalArticleResearchpeer review

Becker M, Szczerbicka H. PIMiQ: Integration of queuing networks in generalised stochastic Petri nets. IEE Proceedings: Software. 1999;146(1):27-32. doi: 10.1049/ip-sen:19990153
Becker, Matthias ; Szczerbicka, Helena. / PIMiQ : Integration of queuing networks in generalised stochastic Petri nets. In: IEE Proceedings: Software. 1999 ; Vol. 146, No. 1. pp. 27-32.
Download
@article{87041709ef174524909e44c93fa20db2,
title = "PIMiQ: Integration of queuing networks in generalised stochastic Petri nets",
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.",
author = "Matthias Becker and Helena Szczerbicka",
year = "1999",
doi = "10.1049/ip-sen:19990153",
language = "English",
volume = "146",
pages = "27--32",
journal = "IEE Proceedings: Software",
issn = "1462-5970",
publisher = "Institution of Engineering and Technology",
number = "1",

}

Download

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 -