Blocking a transition in a Free Choice net and what it tells about its throughput - Inria - Institut national de recherche en sciences et technologies du numérique
Rapport (Rapport De Recherche) Journal of Computer and System Sciences Année : 2003

Blocking a transition in a Free Choice net and what it tells about its throughput

Résumé

In a live and bounded Free Choice Petri net, pick a non-conflicting transition. Then there exists a unique reachable marking in which no transition is enabled except the selected one. For a routed live and bounded Free Choice net, this property is true for any transition of the net. Consider now a live and bounded stochastic routed Free Choice net, and assume that the routings and the firing times are independent and identically distributed. Using the above results, we prove the existence of asymptotic firing throughputs for all transitions in the net. Furthermore the vector of the throughputs at the different transitions is explicitly computable up to a multiplicative constant.
Fichier principal
Vignette du fichier
RR-4225.pdf (425.75 Ko) Télécharger le fichier

Dates et versions

inria-00072394 , version 1 (24-05-2006)
inria-00072394 , version 2 (30-07-2007)

Identifiants

Citer

Bruno Gaujal, Stefan Haar, Jean Mairesse. Blocking a transition in a Free Choice net and what it tells about its throughput. [Research Report] RR-4225, 2003, pp.29. ⟨inria-00072394v1⟩

Collections

LIAFA INRIA-RRRT
274 Consultations
247 Téléchargements

Altmetric

Partager

More