From partially to fully lumped Markov chains in Stochastic Well Formed Petri Nets - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

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

Souheib Baarir
Marco Beccuti
  • Fonction : Auteur
Claude Dutheillet
  • Fonction : Auteur
  • PersonId : 968374
Giuliana Franceschinis
  • Fonction : Auteur

Résumé

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.

Dates et versions

hal-01294403 , version 1 (29-03-2016)

Identifiants

Citer

Souheib Baarir, Marco Beccuti, Claude Dutheillet, Giuliana Franceschinis. From partially to fully lumped Markov chains in Stochastic Well Formed Petri Nets. Proc. 4th International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS), Sep 2009, Pisa, Italy. pp.43:1-43:10, ⟨10.4108/ICST.VALUETOOLS2009.7733⟩. ⟨hal-01294403⟩
56 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More