|
|
|
| 08h30 - 10h20 |
Advances in Layered Queue Modelling for Distributed Systems. Murray Woodside, Carleton University, Canada. |
| 10h20 -10h40 | Coffee break |
| 10h40 - 11h30 |
Quality of service (QoS) modelling. Dr. Hermann G. De Meer, University of Hamburg, Germany. |
| 11h40 - 12h30 |
Providing Tools over the Internet and Intranet. Aad Van Moorsel, Bell Labs, USA |
| 12h30 - 14h00 | Lunch |
| 14h00 - 15h50 |
Performance-Oriented Design for Object-Oriented Systems (I). Connie U. Smith, Performance Engineering Services, Santa Fe, USA and Lloyd G. Williams, Software Engineering Research, Boulder, USA. |
| 15h50 -16h10 | Coffee break |
| 16h10 - 18h00 |
Performance-Oriented Design for Object-Oriented Systems (II). Connie U. Smith, Performance Engineering Services, Santa Fe, USA and Lloyd G. Williams, Software Engineering Research, Boulder, USA. |
| 08h30 - 10h20 |
Stochastic Process Algebras - Foundation and relations with SPN. G. Balbo, H. Hermanns, U. Herzog, V. Mertsiotakis and M. Ribaudo, Universities of Erlangen and Torino. |
| 10h20 -10h40 | Coffee break |
| 10h40 - 12h30 |
Equivalence and exact aggregation of labelled (G) SPNs. Peter Bucholz, University of Dortmund, Germany. |
| 12h30 - 14h00 | Lunch |
| 14h00 - 15h50 |
Kronnecker operators for the description and solution of large Markov models generated by stochastic PNs. G. Ciardo, College of Williams and Mary, USA, and S. Donatelli, University of Torino, Italy. |
| 15h50 -16h10 | Coffee break |
| 16h10 - 18h00 |
Approximation methods based on net-driven decompositions. Javier Campos, University of Zaragoza, Spain. |
| 08h30 - 10h20 |
Parallel and Distributed Simulation of Petri Nets. Alois Ferscha, Universitat Wien,Austria. |
| 10h20 -10h40 | Coffee break |
| 10h40 - 12h30 |
Non-Exponential Stochastic Petri Nets: an overview of methods ans techniques. Andrea Bobbio, University of Torino, Italy and Miklos Telek, Technical University of Budapest, Hungary. |
| 12h30 - 14h00 | Lunch |
| 14h00 - 15h50 |
Fluid Petri Net. Kishor Trivedi, Duke University, Durham, USA. |
| 15h50 -16h10 | Coffee break |
| 16h10 - 18h00 |
On the use of matrix-geometric methods for the performance evaluation of computer and communication systems. B. Haverkort, Universty of Aachen, Germany. |