2nd International ICST Conference on Performance Evaluation Methodologies and Tools

Research Article

Representing LCFSPR BCMP service center with Coxian service time by GSPN

Download315 downloads
  • @INPROCEEDINGS{10.4108/valuetools.2007.1774,
        author={Simonetta Balsamo and Andrea Marin},
        title={Representing LCFSPR BCMP service center with Coxian service time by GSPN},
        proceedings={2nd International ICST Conference on Performance Evaluation Methodologies and Tools},
        proceedings_a={VALUETOOLS},
        year={2010},
        month={5},
        keywords={GSPN BCMP theorem Coxian distribution multi-class system LCFSPR scheduling discipline},
        doi={10.4108/valuetools.2007.1774}
    }
    
  • Simonetta Balsamo
    Andrea Marin
    Year: 2010
    Representing LCFSPR BCMP service center with Coxian service time by GSPN
    VALUETOOLS
    ICST
    DOI: 10.4108/valuetools.2007.1774
Simonetta Balsamo1,*, Andrea Marin1,*
  • 1: Dipartimento di Informatica Universita’ Ca’ Foscari di Venezia via Torino, 155, Venice, Italy
*Contact email: balsamo@dsi.unive.it, marin@dsi.unive.it

Abstract

In this paper we study the relations between multi-class BCMP-like service stations with Coxian service time and generalized stochastic Petri nets (GSPN). We consider multi-class product-form service center types of QN and their representation with GSPN, in order to investigate the relation between the product-form solutions of the two models. Representing queueing discipline with GSPN models is not easy. We focus on representing multi-class queueing systems with LCFSPR scheduling discipline and Coxian distributed service time. Note that the queueing discipline in general affects performance measures in multi-class systems. For example, BCMP-like service centers with First Come First Served (FCFS) and with Last Come First Served with Preemptive Resume (LCFSPR) have a (different) product-form solution under different hypotheses. We define a structurally finite GSPN model with product- form that does not belong to the class of known product-form GSPN. Then we show that this model is equivalent to the multi-class M/COX/k/LCFSPR queueing system, in terms of steady state probability and average performance measures. The main idea is to define a finite GSPN model that simulates the behavior of the given queue discipline by defining some appropriate random choices. Moreover, we prove that the combination of the introduced equivalent GSPN model has a closed-form steady state probability by the M ⇒ M property.