M. Ajmone-marsan, G. Balbo, S. Donatelli, G. Franceschinis, and G. Conte, Modelling with generalized stochastic Petri nets, 1995.

E. Altman, B. Gaujal, and A. Hordijk, Discrete-Event Control of Stochastic Networks: Multimodularity and Regularity. Number 1829 in Lecture Notes in Mathematics, 2003.

F. Baccelli, G. Cohen, and B. Gaujal, Recursive equations and basic properties of timed Petri nets, J. of Discrete Event Dynamic Systems, vol.1, issue.4, pp.415-439, 1992.
URL : https://hal.archives-ouvertes.fr/inria-00075128

F. Baccelli and S. Foss, On the saturation rule for the stability of queues, Journal of Applied Probability, vol.12, issue.02, pp.494-507, 1995.
DOI : 10.1214/aoap/1177005203
URL : https://hal.archives-ouvertes.fr/inria-00074656

D. P. Bertsekas, Dynamic programming and optimal control, Athena Scientific, 1995.

A. Bouillard, B. Gaujal, and J. Mairesse, Extremal throughputs in free-choice nets, 26th International Conference On Application and Theory of Petri Nets, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00164817

A. Bouillard, B. Gaujal, and J. Mairesse, Throughputs in stochastic routed free-choice nets, existence, computations and optimizations, 2005.

T. Bousch and J. Mairesse, Asymptotic height optimization for topical IFS, Tetris heaps, and the finiteness conjecture, Journal of the American Mathematical Society, vol.15, issue.01, pp.77-111, 2002.
DOI : 10.1090/S0894-0347-01-00378-2
URL : https://hal.archives-ouvertes.fr/hal-00165771

G. Cohen, S. Gaubert, and J. P. Quadrat, Algebraic system analysis of timed Petri nets, 1998.
DOI : 10.1017/CBO9780511662508.010

B. Gaujal and A. Giua, Timed continuous Petri nets and optimization via linear programming, 2002.
URL : https://hal.archives-ouvertes.fr/inria-00072002

B. Gaujal, S. Haar, and J. Mairesse, Blocking a transition in a free choice net and what it tells about its throughput, Journal of Computer and System Sciences, vol.66, issue.3, pp.515-548, 2003.
DOI : 10.1016/S0022-0000(03)00039-4
URL : https://hal.archives-ouvertes.fr/inria-00072394

T. Mulder and A. Storjohann, On lattice reduction for polynomial matrices, Journal of Symbolic Computation, vol.35, issue.4, pp.277-401, 2003.
DOI : 10.1016/S0747-7171(02)00139-6

A. Müller and D. Stoyan, Comparison Methods for Stochastic Models and Risks, 2002.

M. L. Puterman, Markov decision processes: discrete stochastic dynamic programming, 1994.
DOI : 10.1002/9780470316887

L. Recalde and M. Silva, Petri net fluidification revisited: Semantics and steady state, European Journal of Automation APII-JESA, vol.35, issue.4, pp.435-449, 2001.

I. Unité-de-recherche and . Rhône, Alpes 655, avenue de l'Europe -38334 Montbonnot Saint-Ismier (France) Unité de recherche INRIA Futurs : Parc Club Orsay Université -ZAC des Vignes 4

I. Unité-de-recherche and . Lorraine, Technopôle de Nancy-Brabois -Campus scientifique 615, rue du Jardin Botanique -BP 101 -54602 Villers-l` es-Nancy Cedex (France) Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu -35042 Rennes Cedex (France) Unité de recherche INRIA Rocquencourt : Domaine de Voluceau -Rocquencourt -BP 105 -78153 Le Chesnay Cedex (France) Unité de recherche, 2004.

I. Editeur and . De-voluceau-rocquencourt, BP 105 -78153 Le Chesnay Cedex (France) http://www.inria.fr ISSN, pp.249-6399