HPC 2000 will include a special track on ,Petri Nets and Performance Evaluation in HPC`. The High Performance Computing 2000 is the eighth special symposium devoted to the impact of High Performance Computing and Computer Simulation. It is part of the 2000 Advanced Simulation Technology Conference (ASTC 2000) organized by The Society for Computer Simulation, SCS (for more information see http://www.scs.org/).

The goal of the special sessions is to discuss new theoretical and practical developments in the area of Petri nets and/or performance evaluation related to HPC. After the success of the Petri net sessions during the HPC`98 and HPC`99 conferences, the presentation of the advantages in the use of Petri net based formal methods and in the performance evaluation of high performance computer systems will be a part of the HPC 2000 symposium. It will be shown how such methods can encourage innovation in high performance computing technologies and how their use can make system design more effective especially for large applications. Last but not least the exchange of ideas and information among universities, industry, and national laboratories in this field will be promoted.

Topics of interest include:

• Petri Nets and HPC
  • Methodologies to Exploit HPC Architectures and Communication Networks including a Petri Net Based Analysis of Software Systems
  • Dependability Modelling and Analysis of Real-Time Systems with Different Kinds of High Level Petri Nets
  • Modeling of Fault Tolerant Systems and Aspects of Reliability and Security
  • Performance Prediction and Evaluation
  • New Formal Concepts and Methods for Validation and Testing
  • Petri Net Simulation Tools
  • Visualization based on Petri Net Models
  • Design and Implementation Approaches for Complex Systems using Petri Nets
  • Applications of Petri Nets

• Performance Evaluation and HPC
  • Modelling of HPC Architectures and Communication Networks
  • Evaluation of Hardware and Software Performance including all Kinds of Simulation and Analysis
  • New Methods in Performance Optimization related to HPC
  • High Performance Simulation Tools
  • Design and Performance of Real-Time Systems
  • Traffic Estimation for High Performance Networks including Multicast Traffic Patterns and Fault Tolerance
  • Numerical Methods for Performance Approximation

Gianfranco Balbo, Università di Torino, Italy
Ioana Banicescu, Mississippi State University, USA
Arndt Bode, Technische Universität München, Germany
Thomas Böhme, Technische Universität Ilmenau, Germany
Wolfgang Fengler, Technische Universität Ilmenau, Germany
Rolf Grützner, Universität Rostock, Germany
Monika Heiner, Technische Universität Brandenburg Cottbus, Germany
Günter Hommel, Technische Universität Berlin, Germany
Olaf Kluge, Technische Universität Berlin, Germany
Peter Kropf, Laval University, Quebec, Canada
Jörn W. Janneck, ETH Zürich, Switzerland
Kishor S. Trivedi, Duke University, USA
Dietmar Tutsch, Technische Universität Berlin, Germany
Herwig Unger, Universität Rostock, Germany

Key dates:

Only papers which have not been previously published or presented should be submitted. Authors must obtain employer, client, or government releases prior to submittal of the final manuscript. All accepted papers will be published in the High Performance Computing 2000 proceedings and must be presented by one of the authors at the conference. Anticipated conference fees will be $380.00 (U.S.).

Send to: