Multi-Workshop on Formal Methods in Performance Evaluation and Applications

	8th International Workshop on Petri Nets and Performance Models (PNPM'99)

Zaragoza, Spain, September 6-10, 1999

Workshop homepage: http://www4.cs.uni-dortmund.de/pnpm99/pnpm_title.html

The objective of the PNPM workshop is to provide a forum for the presentation of original contributions in the areas of Timed and Stochastic Petri Nets and their applications in the design and performance evaluation of systems. Topics of particular interest are the relation between structural properties of nets, validation of time-critical systems, and performance and dependability evaluation of distributed asynchronous systems. Analysis algorithms and methodologies, as well as their application to the analysis of models of large, complex distributed systems are also within the scope of the workshop. Both theoretical and practical contributions are sought, with special emphasis on modeling and computer supported analysis aspects. Work in progress and poster sessions may be organized in addition to regular sessions.