Backward coupling in bounded free-choice nets under Markovian and non-Markovian assumptions

Discrete Event Dynamic Systems: Theory and Applications

Volumn 18, Issue 4, 2008, Pages 473-498

  Bouillard, Anne ^a   Gaujal, Bruno ^b  

^a UNIVERSITÉ PARIS SACLAY   (France)

^b GRENOBLE INSTITUTE OF TECHNOLOGY   (France)

Author keywords

Heaps of pieces; Max plus systems; Perfect simulation; Petri nets

Indexed keywords

GRAPH THEORY; LEARNING ALGORITHMS; LEARNING SYSTEMS; PETRI NETS; STOCHASTIC PROGRAMMING;

EVENT GRAPHS; FREE-CHOICE NETS; FREE-CHOICE PETRI NETS; HEAPS OF PIECES; INITIAL STATES; INTERNATIONAL CONFERENCES; MARKOVIAN; MAX-PLUS SYSTEMS; MONOTONICITY PROPERTIES; NON-MARKOVIAN; PERFECT SIMULATION; PERFORMANCE EVALUATION; SAMPLING ALGORITHMS; SIMULATION TIME; STOCHASTIC SYSTEMS;

MARINE BIOLOGY;

EID: 53149119562     PISSN: 09246703     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10626-008-0041-8     Document Type: Article

References (15)

1. Baccelli F, Foss S, Mairesse J (1996) Stationary ergodic jackson networks: results and counter-examples. Stochastic networks, Oxford Univ. Press, pp 281-307
2. Baccelli F, Gohen G, Olsder G, Quadrat, J-P (1992) Synchronization and linearity. Wiley
3. Baccelli F, Jean-Marie A, Mitrani I (eds) (1995) Quantitative methods in parallel systems. Basic Research Series. Springer
4. Baccelli F, Mairesse J (1998) Idempotency. Chapter ergodic theory of stochastic operators and discrete event networks. Publications of the Isaac Newton Institute. Cambridge Univ. Press, pp 171-208
5. Bouillard A, Gaujal B (2001) Coupling time of a (max,plus) matrix. In: Workshop on Max-Plus algebras and their applications to discrete-event systems. Theoretical Computer Science, and Optimization, Prague. IFAC
6. Bouillard A, Gaujal B (2006) Backward coupling in petri nets. In: Valuetools, Pisa, Italy
7. Desel J, Esparza J (1995) Free choice Petri nets. Cambridge Tracts in Theorical Computer Science
8. S Foss R Tweedy J Corcoran 1998 Simulating the invariant measures of markov chains using backward coupling at regeneration time Prob Eng Inf Sci 12 303 320
9. S Gaubert J Mairesse 1999 Modeling and analysis of timed Petri nets using heaps of pieces IEEE Trans Autom Control 44 4 683 697
10. B Gaujal S Haar J Mairesse 2003 Blocking a transition in a free choice net, and what it tells about its throughput J Comput Syst Sci 66 3 515 548
11. Häggström O (2002) Finite Markov chains and Algorithmic Applications, vol 52 of Student texts. Cambridge Univ. Press
12. J Mairesse 1997 Products of irreducible random matrices in the (max,+) algebra Adv Appl Prob 29 2 444 477
13. D Propp J Wilson 1996 Exact sampling with coupled Markov chains and application to statistical mechanics Random Struct Algorithms 9 1 223 252
14. J-M Vincent C Marchand 2004 On the exact simulation of functionals of stationary Markov chains Linear Algebra Appl 386 285 310
15. Walker A (1974) An efficient method for generating random variables with general distributions. ACM Trans Math Softw 253-256