4th International ICST Conference on Performance Evaluation Methodologies and Tools

Research Article

From partially to fully lumped Markov chains in Stochastic Well Formed Petri Nets

Download153 downloads
  • @INPROCEEDINGS{10.4108/ICST.VALUETOOLS2009.7733,
        author={S. Baarir and M. Beccuti and C. Dutheillet and G. Franceschinis},
        title={From partially to fully lumped Markov chains in Stochastic Well Formed Petri Nets},
        proceedings={4th International ICST Conference on Performance Evaluation Methodologies and Tools},
        publisher={ICST},
        proceedings_a={VALUETOOLS},
        year={2010},
        month={5},
        keywords={},
        doi={10.4108/ICST.VALUETOOLS2009.7733}
    }
    
  • S. Baarir
    M. Beccuti
    C. Dutheillet
    G. Franceschinis
    Year: 2010
    From partially to fully lumped Markov chains in Stochastic Well Formed Petri Nets
    VALUETOOLS
    ICST
    DOI: 10.4108/ICST.VALUETOOLS2009.7733
S. Baarir1,*, M. Beccuti2,*, C. Dutheillet1,*, G. Franceschinis3,*
  • 1: LIP6, UPMC Paris
  • 2: Dip. di Informatica, Univ. di Torino
  • 3: Dip. di Informatica, Univ. Piemonte Orientale
*Contact email: Souheib.Baarir@lip6.fr, beccuti@di.unito.it, claude.dutheillet@lip6.fr, giuliana@mfn.unipmn.it

Abstract

This paper presents a generic framework for building quo- tient graphs for Stochastic Well-formed Net models by ex- ploiting the symmetries implicitly defined in the model. Two instantiations are presented, one based on static symmetries and the other one based on dynamic symmetries. The sec- ond method can usually deal with partially symmetric sys- tems in a more effective way than the first one. However, in some cases it may result in a larger graph. We present here a new approach that overcomes the weakness of these methods. All these techniques can be used for efficient per- formance analysis of systems.