Performance Analysis of Stochastic Timed Petri Nets using Linear - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport Année : 1995

Performance Analysis of Stochastic Timed Petri Nets using Linear

Résumé

Stochastic timed Petri nets are a useful tool in performance analysis of concurrent systems such as parallel computers, communication networks and flexible manufacturing systems. In general, performance measures of stochastic timed Petri nets are difficult to obtain for problems of practical sizes. In this paper, we provide a method to compute efficiently upper and lower bounds for the throughputs and mean token numbers in general Markovian timed Petri nets. Our approach is based on uniformization technique and linear programming
Fichier principal
Vignette du fichier
RR-2642.pdf (389.94 Ko) Télécharger le fichier
Loading...

Dates et versions

inria-00074048 , version 1 (24-05-2006)

Identifiants

  • HAL Id : inria-00074048 , version 1

Citer

Zhen Liu. Performance Analysis of Stochastic Timed Petri Nets using Linear. RR-2642, INRIA. 1995. ⟨inria-00074048⟩
48 Consultations
105 Téléchargements

Partager

Gmail Facebook X LinkedIn More