Jongwook Kim, Alan A. Desrochers: Eigenvalue Bounds of a Stochastic Petri Net. ICRA 1995: 2072-2077