| 1994 | |
| [1] | Operational Analysis of Timed Petri Nets and Application to the Computation of Performance Bounds (), Chapter in Performance Evaluation of parallel and distributed systems. Solution Methods. - Proceedings of the third QMIPS workshop. Part 2 (O.J. Boxma, G.M. Koole, eds.), Centrum voor Wiskunde en Informatica, volume 106, 1994. |