loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Eighth International Workshop on Petri Nets and Performance Models (PNPM '99)
Asymptotic Analysis of Heaps of Pieces and Application to Timed Petri Nets
Zaragoza, Spain
September 08-September 10
ISBN: 0-7695-0331-4
Jean Mairesse, LIAFA Universit? Paris 7
What is the density of an infinite heap of pieces, if we let pieces fall down randomly, or if we select pieces to maximize the density? How many transitions of a safe timed Petri net can we fire per time unit? We reduce these questions to the computation of the average and optimal case Lyapunov exponents of max-plus automata, and we present several techniques to compute these exponents.First, we introduce a completed ``non-linear automaton'', which essentially fills incrementally all the gaps that can be filled in a heap without changing its asymptotic height. Using this construction, when the pieces have integer valued shapes, and when any two pieces overlap, the Lyapunov exponents can be explicitly computed. We present two other constructions (partly based on Cartier-Foata normal forms of traces) which allow us to compute the optimal case Lyapunov exponent, assuming only that the pieces have integer valued shapes.
Index Terms:
Heaps of pieces, Tetris game, safe timed Petri nets, max-plus semiring, automaton with multiplicities, Lyapunov exponents.
Citation:
Stéphane Gaubert, Jean Mairesse, "Asymptotic Analysis of Heaps of Pieces and Application to Timed Petri Nets," pnpm, pp.158, Eighth International Workshop on Petri Nets and Performance Models (PNPM '99), 1999
Usage of this product signifies your acceptance of the Terms of Use.