Skip to Main content Skip to Navigation
Reports

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
Document type :
Reports
Complete list of metadata

Cited literature [2 references]  Display  Hide  Download

https://hal.inria.fr/inria-00074048
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 2:23:18 PM
Last modification on : Saturday, January 27, 2018 - 1:31:29 AM
Long-term archiving on: : Thursday, March 24, 2011 - 2:01:00 PM

Identifiers

  • HAL Id : inria-00074048, version 1

Collections

Citation

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

Share

Metrics

Record views

128

Files downloads

179