%0 Book Section %B Quantitative Methods in Parallel Systems %D 1995 %T Operational Analysis of Timed Petri Nets and Application to the Computation of Performance Bounds %A G. Chiola %A C. Anglano %A J. Campos %A J.M. Colom %A M. Silva %E F. Baccelli %E A. Jean-Marie %E I. Mitrani %C Berlin %I Springer-Verlag %P 161-174 %S Esprit Basic Research Series %8 06/1995 %@ 3-540-60125-2