About | Contact Us | Register | Login
ProceedingsSeriesJournalsSearchEAI
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

Download1004 downloads
Cite
BibTeX Plain Text
  • @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.

Published
2010-05-16
Publisher
ICST
Modified
2010-05-16
http://dx.doi.org/10.4108/ICST.VALUETOOLS2009.7733
Copyright © 2009–2025 ICST
EBSCOProQuestDBLPDOAJPortico
EAI Logo

About EAI

  • Who We Are
  • Leadership
  • Research Areas
  • Partners
  • Media Center

Community

  • Membership
  • Conference
  • Recognition
  • Sponsor Us

Publish with EAI

  • Publishing
  • Journals
  • Proceedings
  • Books
  • EUDL