Critical paths in the Partial Order Unfolding of a Stochastic Petri Net - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2009

Critical paths in the Partial Order Unfolding of a Stochastic Petri Net

Résumé

In concurrent real-time processes, the speed of individual components has a double impact: on the one hand, the overall latency of a compound process is affected by the latency of its components. But, if the composition has race conditions, the very outcome of the process will also depend on the latency of component processes. Using stochastic Petri nets, we investigate the probability of a transition occurrence being critical for the entire process, i.e. such that a small increase or decrease of the duration of the occurrence entails an increase or decrease of the total duration of the process. The first stage of the analysis focuses on occurrence nets, as obtained by partial order unfoldings, to determine criticality of events; we then lift to workflow nets to investigate criticality of transitions inside a workflow.
Fichier principal
Vignette du fichier
RR-7003.pdf (251.34 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

inria-00407672 , version 1 (27-07-2009)

Identifiants

  • HAL Id : inria-00407672 , version 1

Citer

Anne Bouillard, Stefan Haar, Sidney Rosario. Critical paths in the Partial Order Unfolding of a Stochastic Petri Net. [Research Report] RR-7003, INRIA. 2009, pp.17. ⟨inria-00407672⟩
147 Consultations
196 Téléchargements

Partager

Gmail Facebook X LinkedIn More