Performance Analysis of Stochastic Timed Petri Nets using Linear - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports Year : 1995

Performance Analysis of Stochastic Timed Petri Nets using Linear

Abstract

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 and versions

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

Identifiers

  • HAL Id : inria-00074048 , version 1

Cite

Zhen Liu. Performance Analysis of Stochastic Timed Petri Nets using Linear. RR-2642, INRIA. 1995. ⟨inria-00074048⟩
48 View
106 Download

Share

Gmail Facebook X LinkedIn More