Stochastic timed event graphs : bounds, cycle time reachability and marking optimization - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 1992

Stochastic timed event graphs : bounds, cycle time reachability and marking optimization

Résumé

This paper addresses the performance evaluation and optimization of stochastic timed event graphs. The transitions firing times of such a timed event graph are random variables with general distribution. We first establish an upper bound and a lower bound for the average cycle time of the timed event graph. We prove that any cycle time greater than the greatest mean transition firing time can be reached by putting enough tokens in each place. The necessary and sufficient condition of the reachability of the greatest mean firing time is established. We then address the marking optimization problem which consists in obtaining a given cycle time while minimizing a linear criterion depending on the initial marking.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
RR-1763.pdf (1.08 Mo) Télécharger le fichier

Dates et versions

inria-00077003 , version 1 (29-05-2006)

Identifiants

  • HAL Id : inria-00077003 , version 1

Citer

Jean-Marie Proth, Nathalie Sauer, Xiaolan Xie. Stochastic timed event graphs : bounds, cycle time reachability and marking optimization. [Research Report] RR-1763, INRIA. 1992, pp.18. ⟨inria-00077003⟩
190 Consultations
108 Téléchargements

Partager

Gmail Facebook X LinkedIn More