Computing first passage time distributions in Stochastic Well-Formed Nets

G Balbo, M Beccuti, Pierro M De, Giuliana Annamaria FRANCESCHINIS

Risultato della ricerca: Contributo alla conferenzaContributo in Atti di Convegnopeer review

Abstract

The increasing demand for customer centric evaluation of systems, mostly related with the assessment of the quality of service that they can deliver, requires the development of techniques properly designed to model and to study the movement of specific entities generically referred to as "customers". Stochastic Well-Formed Net(SWN) are naturally suited for the representation of systems in which "customers" of different categories compete for the use of common resources. Color classes of SWN are easily associated with these different categories, leaving to the peculiar features of the formalism the possibility of exploiting all the symmetries existing into the representation for the efficient and effective computation of the measures of interest. Within this application context, the computation of first passage time distribution measures in Stochastic Well-Formed Net (SWN) is becoming of primary interest. Customers however are not primitive entities in the formalism and an approach similar to that previously developed for Generalized Stochastic Petri Nets (GSPN) is suggested to overcome this problem in which P-semiflows are used to identify the circulating "customers". In this paper we propose an original algorithm for computing some P-semiflows of colored PNs (in particular of SWNs) in parametric form by exploiting the peculiarities of the objective of this investigation, and extend the customer centric first passage time computation approach previously developed for GSPNs, to make it suitable for SWN models. Moreover, the paper proposes an enhancement of the SWN notation in order to provide a way to ease the modeler in the specification of customer scheduling policies that may affect the computation of first passage time distributions. This extension, inspired by Queueing Petri Nets, adds to SWN some "syntactic sugar" that allows to include in the model queueing places which are automatically replaced by appropriate submodels, before solving the model.
Lingua originaleInglese
Pagine7-18
Numero di pagine12
DOI
Stato di pubblicazionePubblicato - 1 gen 2011
Evento2nd Joint WOSP/SIPEW International Conference on Performance Engineering, ICPE 2011 - Karlsruhe, Germany
Durata: 1 gen 2011 → …

???event.eventtypes.event.conference???

???event.eventtypes.event.conference???2nd Joint WOSP/SIPEW International Conference on Performance Engineering, ICPE 2011
CittàKarlsruhe, Germany
Periodo1/01/11 → …

Fingerprint

Entra nei temi di ricerca di 'Computing first passage time distributions in Stochastic Well-Formed Nets'. Insieme formano una fingerprint unica.

Cita questo