@inbook {245, title = {Operational Analysis of Timed Petri Nets and Application to the Computation of Performance Bounds}, booktitle = {Performance Evaluation of parallel and distributed systems. Solution Methods}, series = {CWI Tracts Series}, number = {106}, year = {1994}, pages = {197-213}, publisher = {Centrum voor Wiskunde en Informatica}, organization = {Centrum voor Wiskunde en Informatica}, address = {Amsterdam, The Netherlands}, isbn = {90-6196-445-8}, author = {G. Chiola and C. Anglano and J. Campos and J.M. Colom and M. Silva}, editor = {O.J. Boxma and G.M. Koole} }