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
Type de document :
Rapport
RR-2642, INRIA. 1995
Liste complète des métadonnées

Littérature citée [2 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00074048
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 14:23:18
Dernière modification le : samedi 27 janvier 2018 - 01:31:29
Document(s) archivé(s) le : jeudi 24 mars 2011 - 14:01:00

Fichiers

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

103

Téléchargements de fichiers

127