%0 Book Section %B Performance Evaluation of parallel and distributed systems. Solution Methods %D 1994 %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 O.J. Boxma %E G.M. Koole %C Amsterdam, The Netherlands %I Centrum voor Wiskunde en Informatica %P 197-213 %S CWI Tracts Series %@ 90-6196-445-8