HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Journal articles

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

Abstract : 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.
Document type :
Journal articles
Complete list of metadata

Cited literature [28 references]  Display  Hide  Download

Contributor : Jean Mairesse Connect in order to contact the contributor
Submitted on : Monday, July 30, 2007 - 12:23:22 PM
Last modification on : Friday, February 4, 2022 - 3:11:14 AM
Long-term archiving on: : Tuesday, September 21, 2010 - 12:58:11 PM


Files produced by the author(s)



Bruno Gaujal, Stefan Haar, Jean Mairesse. Blocking a transition in a Free Choice net and what it tells about its throughput. Journal of Computer and System Sciences, Elsevier, 2003, 66 (3), pp.515-548. ⟨10.1016/S0022-0000(03)00039-4⟩. ⟨inria-00072394v2⟩



Record views


Files downloads