Stéphane Gaubert, Jean Mairesse. Asymptotic analysis of heaps of pieces and application to timed Petri nets. In Proceedings of the 8th International Workshop on Petri Nets and Performance Models, PNPM 1999, Zaragoza, Spain, September 8-10, 1999. pages 158-169, IEEE, 1999. [doi]
Abstract is missing.